Popular repositories Loading

1. nim-propositional-logic nim-propositional-logic Public

   Propositional logic library for Nim.

   Nim 9

2. markdown2gemtext markdown2gemtext Public

   converts from markdown to gemtext

   Nim 2

3. coins20-credit-checker coins20-credit-checker Public

   Credit checker for coins20 (Univ. of Tsukuba, College of Information Science, students entered in AY2020)

   Nim 1

4. belief-revision-games belief-revision-games Public

   Unofficial implementation of belief revision game by Nim

   Nim 1

5. gemtext2html gemtext2html Public

   gemtext to html implemented using Nim

   Nim 1

6. botot2 botot2 Public

   Forked from private-yusuke/botot2

   A chatbot for Misskey with Markov chain

   TypeScript