mjdtdw

mjdtdw's Stars

• nim-lang/nimble

  Package manager for the Nim programming language.

  Language:Nim1.3k52775190

• edwinb/Idris2-boot

  A dependently typed programming language, a successor to Idris

  Language:Idris9016018557

• JetBrains/Arend

  The Arend Proof Assistant

  Language:Java7011325433

• edwinb/Blodwen

  A prototype successor to Idris

  Language:Idris54081036

• statebox/idris-ct

  formally verified category theory library

  Language:Idris259204423

• joom/hezarfen

  a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

  Language:Idris119803

• idris-hackers/atom-language-idris

  A Idris Mode for Atom.io

  Language:TypeScript1012115922

• stefan-hoeck/idris2-elab-util

  Utilities and documentation for exploring idirs2's new elaborator reflection.

  Language:Idris798519

• edwinb/idris2-vim

  Vim mode for Idris 2

  Language:Vim Script769926

• edwinb/IdrisApp

  An extensible IO-like monad-like thing for Idris, with support for including linear subprograms

  Language:Idris2281

• jaredloomis/Idris-HoTT

  Homotopy Type Theory proofs in Idris

  Language:Idris21501

• vmchale/linear

  Linear lenses in Blodwen

  Language:Idris1340

• meraymond2/idris-ide-client

  TypeScript client for Idris IDE-mode.

  Language:TypeScript115153

• DanteAlighierin/Dante-dots

  My own configs for any elements of Linux desktop(such as sway|i3, polybar|yambar|Waybar|swaybar,fish, st, vim, gtk/qt themes e.t.c)

  Language:Shell7300

• grigorusha/GeraniumsPot

  Geraniums Pot - Puzzle Simulator (Intersecting circles puzzles)

  Language:Python6

• editor-plugins/idris-lsp

  Idris language server protocol

  Language:Haskell5300

• vmchale/basic-recursion

  Basic recursion schemes in Blodwen

  230