Alternatives and similar repositories for HNC:

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

• nponeccop / n2o.hs
  N2O in Haskell
  ☆29Updated 8 years ago
• o3 / n2o
  ⭕️ N2O: Haskell Application Server
  ☆48Updated 3 years ago
• voidlizard / hopc
  Experimental Scheme-like compiled language
  ☆22Updated 13 years ago
• nponeccop / haskell-exercises
  ☆41Updated 10 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated this week
• groupoid / henk
  🧊 Чиста система з всесвітами
  ☆144Updated 8 months ago
• alexeyr / miet-haskell-course
  ☆25Updated 9 months ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• arianvp / servis
  Github project where I track everything related to my thesis
  ☆26Updated 8 years ago
• bamboo / IdrisUnityPlayground
  Experiments in Idris / Unity integration.
  ☆49Updated 8 years ago
• edwinb / Vars
  A small library for tracking mutable state in Idris programs
  ☆12Updated 7 years ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆77Updated 10 years ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆47Updated 4 years ago
• thesz / storage
  Key-value storage LSM-style and whatever will grow out of it.
  ☆10Updated 8 years ago
• qnikst / irc-simple
  ☆30Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• xgrommx / idris-ecosystem
  ☆47Updated 7 years ago
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• leventov / yarr
  Yer another array library
  ☆41Updated 6 years ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 8 years ago
• acfoltzer / Molog
  A typed logic programming language embedded in Haskell
  ☆49Updated 12 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• ksaveljev / yampa-2048
  2048 game clone using Yampa FRP library
  ☆35Updated 10 years ago
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆120Updated 3 years ago
• jkff / timeplot
  Analyst's swiss army knife for visualizing data from ad-hoc log files
  ☆80Updated 4 years ago
• ToJans / idris101
  Learning project by a group of people interested in learning the Idris language
  ☆50Updated 10 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago