brendanzab/ocaml-flake-example

Stars
40
Rank 680,660 (Top 14 %)
Language
Nix
License
Other
Created almost 3 years ago
Updated about 1 year ago

brendanzab/ocaml-flake-example

brendanzab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune

codespan

Beautiful diagnostic reporting for text-based programming languages.

gl-rs

An OpenGL function pointer loader for Rust

approx

Approximate floating point equality comparisons and assertions

language-garden

A garden of small programming language implementations 🪴

rust-nbe-for-mltt

Normalization by evaluation for Martin-Löf Type Theory with dependent records

moniker

Automagical variable binding library for Rust

algebra

Abstract algebra for Rust (still very much a WIP!)

color-rs

A library that provides types and conversions for working with various color formats.

chronicle

An event sourced CQRS framework for Rust

open.gl-tutorials

rusp

A minimal scripting and data language for Rust.

sax-rs

DEPRECATED - use https://github.com/netvl/rust-xml/ instead.

elm-stlc

Bidirectional type checker for the simply typed lambda calculus

bullet-rs

Bindings and wrapper for the Bullet physics C API.

mia-lang

A little concatenative language

vscode-mercury

Mercury language integration for VSCode

rust-visitors

Experimenting with visitors in Rust

glfwvbo

odyssey-engine-old

An experimental game engine written in D.

idris-power-of-pi

Parts of The Power of Pi, implemented in Idris

ieee754-rs

IEEE 754-2008 floating point arithmetic for Rust (WIP)

efl-rs

Servo-specific wrapper for the relevant components of the Enlightenment Foundation Libraries.

lean_tutorial_exercises

Answers to the exercises in the Lean tutorial

hedge

Indexed based half-edge mesh implementation

nixpkgs

My personal Nix configuration

rust-bay-area-2014-06

Demo OpenGL code from the Rust Bay Area meetup on Game Tech.

sdl2-rs

Rust bindings and wrapper for SDL2 (Incomplete!)