Alternatives and similar repositories for n2o.hs

Users that are interested in n2o.hs are comparing it to the libraries listed below

• thesz / storage

  View on GitHub
  Key-value storage LSM-style and whatever will grow out of it.
  ☆10Jan 6, 2017Updated 9 years ago
• nponeccop / haskell-exercises

  View on GitHub
  ☆40Jan 24, 2015Updated 11 years ago
• qnikst / haskell-fun

  View on GitHub
  A short scripts and programs
  ☆11Jan 5, 2023Updated 3 years ago
• nponeccop / HNC

  View on GitHub
  HN Compiler
  ☆61Aug 20, 2025Updated 5 months ago
• fizruk / snakes-demo

  View on GitHub
  Snakes game demo.
  ☆15Feb 14, 2017Updated 8 years ago
• TrueLink / TrueLink

  View on GitHub
  TrueLink Messenger - Secure, decentralized, spam-free communication.
  ☆22Jan 28, 2015Updated 11 years ago
• AndrasKovacs / preordertt

  View on GitHub
  Experiments with preordered set models of (directed) type theories
  ☆15Jul 10, 2019Updated 6 years ago
• o83 / n2o

  View on GitHub
  N2O: Rust Application Server
  ☆17Jul 9, 2019Updated 6 years ago
• synrc / rpc

  View on GitHub
  ☎️ RPC: Type Driven Parser Generator
  ☆19Nov 8, 2021Updated 4 years ago
• synrc / nitro

  View on GitHub
  🔥 NITRO: Nitrogen Web Framework RFC 6455
  ☆56Sep 6, 2024Updated last year
• effectfully / Cubes

  View on GitHub
  A dependently typed type checker for a TT with intervals
  ☆24Feb 6, 2020Updated 6 years ago
• effectfully / random-stuff

  View on GitHub
  ☆20Aug 13, 2024Updated last year
• edwinb / SchemeEval

  View on GitHub
  Experimental normalisation via scheme
  ☆12Jul 25, 2021Updated 4 years ago
• ctford / flying-spaghetti-monster

  View on GitHub
  An Idris type provider for communicating type-checkable protocols.
  ☆26Nov 6, 2017Updated 8 years ago
• pcapriotti / agda-categories

  View on GitHub
  Category theory and algebra
  ☆27Aug 4, 2016Updated 9 years ago
• naga-framework / naga

  View on GitHub
  NAGA: Erlang Web Framework
  ☆10Sep 7, 2018Updated 7 years ago
• smimram / catt

  View on GitHub
  An infinity-categorical coherence typechecker
  ☆18Nov 4, 2024Updated last year
• gstew5 / games

  View on GitHub
  ☆10Feb 25, 2020Updated 5 years ago
• synrc / sample

  View on GitHub
  💧 SAMPLE: WebSocket Sample Application
  ☆10Mar 8, 2024Updated last year
• mbykov / cholok

  View on GitHub
  phonetic transcription for Tibetan
  ☆10Mar 13, 2019Updated 6 years ago
• ahmadsalim / desc-n-crunch

  View on GitHub
  Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
  ☆11Jan 14, 2019Updated 7 years ago
• slfritchie / wide-world-of-actors

  View on GitHub
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆12Mar 19, 2018Updated 7 years ago
• metaborg / linear.agda

  View on GitHub
  A library and case-study for linear, intrinsically-typed interpreters in Agda
  ☆36Dec 21, 2019Updated 6 years ago
• EarlGray / omit

  View on GitHub
  A self-hosting subset of git functionality in 500 lines
  ☆13Aug 27, 2018Updated 7 years ago
• mseri / fbmessenger-api-hs

  View on GitHub
  High-level bindings to the Messenger Platform API based on servant library.
  ☆13Mar 1, 2017Updated 8 years ago
• kangxyz / cubical-classics

  View on GitHub
  An attempt towards univalent classical mathematics in Cubical Agda.
  ☆32Sep 15, 2023Updated 2 years ago
• nikita-volkov / strelka

  View on GitHub
  A simple, flexible and composable web-router
  ☆85Aug 12, 2019Updated 6 years ago
• RaphaelJ / friday-examples

  View on GitHub
  Image processing examples which use the friday image library.
  ☆15Nov 3, 2016Updated 9 years ago
• ndcroos / awesome-topological-data-analysis

  View on GitHub
  A collection of topological data analysis links, frameworks, libraries and software. Inspired by awesome projects line.
  ☆19Aug 7, 2024Updated last year
• neel-krishnaswami / adjs

  View on GitHub
  Higher-order FRP compiler
  ☆16Oct 20, 2021Updated 4 years ago
• inaimathi / serve-sml

  View on GitHub
  Minimal SML-based web server
  ☆14Jun 19, 2015Updated 10 years ago
• UnkindPartition / bert

  View on GitHub
  Haskell implementation of BERT[-RPC] (http://bert-rpc.org/)
  ☆21Apr 5, 2016Updated 9 years ago
• qnikst / irc-simple

  View on GitHub
  ☆29Mar 22, 2018Updated 7 years ago
• nbenton / x86proved

  View on GitHub
  ☆15Oct 24, 2017Updated 8 years ago
• edwinb / idris2-clibs

  View on GitHub
  Idris 2 bindings to various C libraries
  ☆15Jun 28, 2021Updated 4 years ago
• jonsterling / constructive-sheaf-semantics

  View on GitHub
  I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.
  ☆17Jan 5, 2015Updated 11 years ago
• AstRonin / sgi

  View on GitHub
  Socket Gateway Interface
  ☆18Apr 29, 2017Updated 8 years ago
• groupoid / henk

  View on GitHub
  🧊 Чиста система з всесвітами
  ☆148Jan 8, 2026Updated last month
• takanuva / coc

  View on GitHub
  Calculus of Constructions
  ☆17Jul 17, 2019Updated 6 years ago