Automated nomic
☆17Mar 20, 2019Updated 6 years ago
Alternatives and similar repositories for nomic
Users that are interested in nomic are comparing it to the libraries listed below
Sorting:
- sorear's Metamath system engine☆13May 5, 2016Updated 9 years ago
- A simple to-do web application in Eta using Spock web framework and Lucid DSL☆17Jul 29, 2018Updated 7 years ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- ☆33Mar 19, 2015Updated 10 years ago
- A Haskell parser for JVM bytecode files☆39Jan 12, 2024Updated 2 years ago
- Vacuum is a system-wide configuration file collector☆30Nov 19, 2020Updated 5 years ago
- A work stealing scheduler☆80Jan 14, 2025Updated last year
- maps are everything.☆10Jul 3, 2025Updated 8 months ago
- ☆12Aug 24, 2014Updated 11 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- A collection of lexers for various languages, written in Rust.☆12Jun 21, 2016Updated 9 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- [DEPRECATED] You should use web3.py instead.☆10Nov 24, 2016Updated 9 years ago
- A performance comparison between TS and JS☆17Feb 24, 2024Updated 2 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- A realworld implementation using purescript-deku☆10Apr 28, 2024Updated last year
- A simple lexical scanner in Rust☆12Nov 8, 2020Updated 5 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 6 years ago
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 9 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 25, 2026Updated last week
- Format only modified code in Emacs☆11Mar 15, 2024Updated last year
- ☆11Jan 3, 2023Updated 3 years ago
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 9 years ago
- A Swift library for working with .editorconfig files☆15Apr 8, 2025Updated 11 months ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Generates ffi-compatible layer for your rust code☆11Jul 4, 2020Updated 5 years ago
- little wrapper functions to load files in rust☆10Oct 6, 2017Updated 8 years ago
- PureScript FFI bindings for the Electron API☆10Jan 24, 2018Updated 8 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- GTK and HTML viewers for mirage-profile trace files☆21Feb 8, 2023Updated 3 years ago
- A java library to output logs for debugging. It is available in Java 8 or later.☆11Jul 26, 2025Updated 7 months ago
- A simple Haskell OpenGL Test Application for iOS☆13Jun 3, 2012Updated 13 years ago
- Use Lua directly within Blockland.☆11Jan 20, 2018Updated 8 years ago
- PySOM - The Simple Object Machine Smalltalk implemented in Python☆19Aug 19, 2025Updated 6 months ago