lambdaxymox

Christopher Blanchard's repositories

tracer

An offline path tracer.

Language:RustApache-2.02 20

Approximate

Approximate floating point equality comparisons for the Swift programming language.

Language:SwiftApache-2.01 20

ffmpeg

https://git.ffmpeg.org/ffmpeg.git

Language:CNOASSERTION1 20

bvh_article

Code accompanying the blog post on bvh construction.

Language:CUnlicense010

cakeml

CakeML: A Verified Implementation of ML

Language:Standard MLNOASSERTION020

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1020

defold

Defold is a completely free to use game engine for development of desktop, mobile and web games.

NOASSERTION000

dotty

The Scala 3 compiler, also known as Dotty.

Language:ScalaApache-2.0010

DragonFlyBSD

DragonFly Master Repository (clone)

Language:CNOASSERTION000

FLIF

Free Lossless Image Format

Language:C++NOASSERTION010

googly-blocks

A Tetris-like block puzzle game.

Language:RustGPL-3.0000

legion

High performance Rust ECS library

Language:RustMIT010

macroquad

Cross-platform game engine in Rust.

Language:RustApache-2.0010

microlens

A lightweight (but compatible with ‘lens’) lenses library

Language:Haskell010

miniquad

Cross platform rendering in Rust

Language:RustApache-2.0010

mirage

MirageOS is a library operating system that constructs unikernels

ISC000

MonoGame

One framework for creating powerful cross-platform games.

Language:C#NOASSERTION010

Nim

Nim is a compiled, garbage-collected systems programming language with a design that focuses on efficiency, expressiveness, and elegance (in that order of priority).

Language:NimNOASSERTION000