mikesperber

mikesperber's Stars

• erlang/otp

  Erlang/OTP

  Language:Erlang11.4k5063k3k

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k356524987

• arc42/arc42-template

  arc42 - the template for software architecture documentation and communication

  1k48135179

• compiling-to-categories/concat

  Compiling to Categories

  Language:Haskell439295050

• defunkt/markdown-mode

  Emacs Markdown mode

  Language:Emacs Lisp15513035

• quoll/remorse

  Clojure(Script) to morse code conversion

  Language:Clojure63200

• con-kitty/categorifier

  Interpret Haskell programs into any cartesian closed category.

  Language:Haskell575312

• liqd/aula

  An online platform for political participation in schools in Germany (not in active development)

  Language:Haskell27113755

• fgmccabe/star

  VM & compiler for Star

  Language:C13502

• mikesperber/org-mode

  org-mode with fixes for XEmacs

  Language:Emacs Lisp5506

• AccelerateHS/accelerate-tensorflow

  Language:Haskell39253

• fgmccabe/StarInStar

  Star compiler written in star

  3202

• mikesperber/markdown-mode

  A clone of Jason Blevins's markdown-mode

  Language:Emacs Lisp1

• mikesperber/otp

  Erlang/OTP

  Language:Erlang110