exists-forall Goto Github PK

code-voyage

Algorithm Exploration Platform

comet

The Comet programming language

delta

The official compiler for the Delta programming language

delta-site

The official website for the Delta programming language

elm-array

A reimplementation of Elm's core Array module

elm-constructive

A variant of the Elm architecture, where actions directly construct new models

eventualmonad

A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writing compilers.

id_cache

A cache data structure which generates sequentially-assigned ids for unique values

id_collections

Index-Oriented Programming in Rust

id_graph_sccs

Find the strongly-connected components of a graph with nodes labeled by integer ids

incremental-rs

Composable and extensible incremental computation in Rust

kiss3d

Keep it simple, stupid 3d graphics engine for Rust.

knot-optimization

A UC Berkeley research project to generate 3D-printed models of topological knots

linear-algebra

Fast Linear Algebra for Elm.

neural-networks

Personal experiments in machine learning

nickel

A safe and efficient target language for functional compilers

olfaction-prediction

Collaborative Phase of DREAM Olfaction Prediction Challenge

p

The P programming language.

pretty-trait

Simple trait-based pretty-printing in Rust

rfcs

Proposals for the design of Attaca and associated version control systems

rust

A safe, concurrent, practical language.

screaming_float

Implements Screaming NaNs

striped_attention

telerun

Lightweight, portable job queue system

vscode-quick-note

A simple Visual Studio Code extension for creating scratch notes

webgl

Functional Rendering with WebGL in Elm.