brendanzab/idris-power-of-pi

Stars
3
Rank 3,963,521 (Top 79 %)
Language Idris
License
Apache License 2.0
Created over 6 years ago
Updated over 6 years ago

brendanzab/idris-power-of-pi

brendanzab

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

Parts of The Power of Pi, implemented in Idris

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.

ocaml-flake-example

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

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.

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!)