Popular repositories

1. thinking-dumps Public

   This repo keeps track of my codes, answers and thinkings when exploring books.

   Coq 27 2

2. parenbot-ex Public

   parenbot revived

   Elixir 16

3. telegram-bot Public archive

   Yet another client for Telegram's Bot API

   Ruby 14 3

4. parenbot Public

   Superceded by shouya/parenbot-ex

   Haskell 9 1

5. sage Public

   Yet another lambda calculus interpreter

   Ruby 8

6. loli Public

   A toy lambda calculus language featuring lazy evaluation like Haskell

   Racket 8 1