Lists (2)
Stars
Public snapshots of "ACSL by Example"
Elegant Facebook Messenger desktop app
Construct and run Hadoop MapReduce programs in Haskell
Dockerfile linter, validate inline bash, written in Haskell
Dissertation project: Regular expression refinement types
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Large Scale Type Systems (programming language)
A curated list of Rust code and resources that do NOT exist yet, but would be beneficial to the Rust community.
The purpose of this code is to automatically create random C programs that are guaranteed to have bugs of a particular "interestingness". We are using this to train learning machines to fuzz progra…
A concolic testing tool for the Erlang functional programming language.
Android application to analyze WiFi signals.
Using an Android phone's wifi receiver and GPS, this creates a heatmap overlay on a Google Map
A curated list of awesome Haskell frameworks, libraries and software.
🗓️ A small library for reading and writing ICalendar files.
Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Lightning-fast and Powerful Code Editor written in Rust
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Global, derivative-free optimization for hyperparameter tuning