Alternatives and similar repositories for nuki

Users that are interested in nuki are comparing it to the libraries listed below

• MLstate / birdy
  Micro-blogging engine
  ☆58Updated 12 years ago
• solson / oos
  ooc operating system
  ☆41Updated 4 years ago
• amcphail / lambda
  An untyped lambda calculus interpreter
  ☆12Updated 2 years ago
• C4Cypher / Apollo-lander
  Lua implemented in Mercury
  ☆15Updated last year
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• vangberg / iodis
  a redis client library for io
  ☆22Updated 15 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 7 years ago
• fffej / haskellprojects
  just to keep a version of my code as I attempt to learn haskell.
  ☆23Updated 9 years ago
• olear / natron-linux
  Natron build scripts for various distros
  ☆13Updated 9 years ago
• xdissent / elm-localstorage
  LocalStorage task adapter for Elm
  ☆11Updated 9 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 11 years ago
• nikita-volkov / hasql-transaction
  A composable abstraction over retriable transactions for Hasql
  ☆13Updated last month
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 3 years ago
• RaminHAL9001 / Dao
  The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…
  ☆46Updated 5 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• HaskellEmbedded / ion
  An Ivory library inspired by Atom
  ☆14Updated 9 years ago
• tyler / iota
  A tiny web app framework written in Io
  ☆32Updated 17 years ago
• Nagasaki45 / krihelinator
  "Trendiness of open source software should be assessed by contribution rate, not by stars" - Meir Kriheli
  ☆45Updated 5 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• pushcx / shenzhen
  Solver for Shenzen Solitaire
  ☆15Updated 8 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 9 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 3 years ago
• GaloisInc / galua
  Lua debugger and interpreter
  ☆27Updated 7 years ago
• deech / ATSPresentation
  ☆21Updated 10 years ago
• hjwylde / werewolf
  A game engine for running werewolf in a chat client
  ☆26Updated 4 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 4 years ago
• chrizel / Yzis
  Yzis is a vi/vim engine that is easy to integrate in any graphical application.
  ☆44Updated 8 years ago