Gary Haussmann

no_gfx_api. Odin

nano-syntax-highlighting. Improved Nano Syntax Highlighting Files

mp. C++20 Meta-Programming library

tanuki. A type-erasure toolkit for C++20/23

cpp-std-extensions. Extensions to the C++ standard library. This library implements polyfills to enable library functionality from later versions of C++ to be used in earlier versions. It also implements some nonstandard but useful extras.

cobalt. Coroutines for C++20 & asio

ProffieOS. Lightsaber Controller Software

metrics-cpp. High-performance metrics library

RayTracingInVulkan. Implementation of Peter Shirley's Ray Tracing In One Weekend book using Vulkan and NVIDIA's RTX extension.

FunctionalPlus. Functional Programming Library for C++. Write concise and readable C++ code.

Granite. My personal Vulkan renderer

volk. Meta loader for Vulkan API

Vulkan-Tools. Vulkan Development Tools

taskflow. A General-purpose Task-parallel Programming System in C++

immer. Postmodern immutable and persistent data structures for C++ — value semantics at scale

te. C++17 Run-time Polymorphism (Type Erasure) library

cmake-init. The missing CMake project initializer

Compile-Time-Graph-Library. C++17 library that implements the execution of graph algorithms during compilation.

libcoro. C++20 coroutine library

cppcoro. A library of C++ coroutine abstractions for the coroutines TS

Untangle. Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4

lean4-alloy. Write C shims from within Lean code.

lean-vulkan. Lean

iris-lean. Lean 4 port of Iris, a higher-order concurrent separation logic framework

quote4. Intuitive, type-safe expression quotations for Lean 4.

tutorials. Some Lean tutorials

LSpec. A Testing Framework for Lean

LeanColls. WIP collections library for Lean 4

SDL.lean. SDL2 bindings for lean

SciLean. Scientific computing in Lean 4

winnow. Incremental story sifting DSL

grace. A prompt engineering functional programming language

explainable-predicates. Predicates that can explain themselves

vulkan-diagrams. Diagrams showing relationships between Vulkan objects and how they're used.

vulkan. Haskell bindings for Vulkan

alpaca-netcode. Game NetCode Solved

react-three-fiber. 🇨🇭 A React renderer for Three.js

halive. Live recompiler for Haskell

concur. An unusual Web UI Framework for Haskell

holmes. A reference library for constraint-solving with propagators and CDCL.

eff. 🚧 a work in progress effect system for Haskell 🚧

asterius. DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

higgledy. Higher-kinded data via generics

gloss. Painless 2D vector graphics, animations and simulations.

freer-simple. A friendly effect system for Haskell

fused-effects. A fast, flexible, fused effect system for Haskell

vinyl-gl. Utilities for working with OpenGL's GLSL shading language and vinyl records.

Vinyl. Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

apart. Get all your structure and rip it apart.

cl3. Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)

sparse-linear-algebra. Numerical computation in native Haskell

hamilton. Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.

alga. Algebraic graphs

zetavm. Multi-Language Platform for Dynamic Programming Languages

Idris-dev. A Dependently Typed Functional Programming Language

atom-language-idris. A Idris Mode for Atom.io

EasyVectorFields. Python script that generates vector fields in .fga format, which can be imported directly into Unreal Engine 4

proto-repl. A Clojure Development Environment package for the Atom editor

lumo. Fast, cross-platform, standalone ClojureScript environment

SmearFrame. Unreal Engine 4 smear frame material effect

faconne. Data Restructuring DSL in Clojure. You write declarative specifications for complicated data transformations and faconne generates the functions automatically. Published on Clojars and used in production code for years.

medley. A lightweight library of useful Clojure functions

vulkano. Safe and rich Rust wrapper around the Vulkan API

core.cache. A caching library for Clojure implementing various cache strategies

DeepLearningFlappyBird. Flappy Bird hack using Deep Reinforcement Learning (Deep Q-learning).

neural-doodle. Turn your two-bit doodles into fine artworks with deep neural networks, generate seamless textures from photos, transfer style from one image to another, perform example-based upscaling, but wait... there's more! (An implementation of Semantic Style Transfer.)

scour. Traverse objects and arrays with ease

renderdoc. RenderDoc is a stand-alone graphics debugging tool.

Vulkan. C++ examples for the Vulkan graphics API

conflux. Distributed, predictable state container

deebn. Deep Belief Network with Restricted Boltzmann Machines in Clojure

neon. Rust bindings for writing safe and fast native Node.js modules.

tupelo. Tupelo: Clojure With A Spoonful of Honey

SPIRV-Tools. C++

uKanren.NET. A native implementation of the MicroKanren DSL for .NET

react-desktop. React UI Components for macOS High Sierra and Windows 10

specter. Clojure(Script)'s missing piece

runtime. [not maintained] Lightweight JavaScript library operating system for the cloud

react-transform-boilerplate. A new Webpack boilerplate with hot reloading React components, and error handling on module and component level.

tulip. Lua

glutin. A low-level library for OpenGL context creation

yoga. Yoga is an embeddable layout engine targeting web standards.

doo. doo is a library and lein plugin to run cljs.test on different js environments.

glium. Safe OpenGL wrapper for the Rust language.

Catch2. A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

interactive-lp. Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

purescript-native. A native compiler backend for PureScript (via C++ or Golang)

microkanrens. Implementations of µKanren in assorted languages

bidi. Bidirectional URI routing

instaparse. Clojure

loom. Graph library for Clojure. Mailing list https://groups.google.com/forum/#!forum/loom-clj

Blender_UE4_VectorFieldEditor. Blender addon that adds support for working with 3D vector fields using the FGA file format.

om-i. Instrumentation helpers for Om applications

FBX-glTF. FBX glTF importer/exporter plug-in and converter.

glTF. glTF – Runtime 3D Asset Delivery

react-dnd. Drag and Drop for React

ultra. A Leiningen plugin for a superior development environment

packages. DEPRECATED: Javascript libraries packaged up with Google Closure externs

fletching-macros. Clojure macros that complement the clojure.core threading (arrow) macros

clj-wbtree. A 'Purely Functional' Weight Balanced Binary Tree for Clojure

pixie. A small, fast, native lisp with "magical" powers

data.avl. Persistent sorted maps and sets with log-time rank queries

core.rrb-vector. RRB-Trees in Clojure

metrics-graphics. A library optimized for concise and principled data graphics and layouts.

ribol. moved -> 'hara.event'

chestnut. Application template for Clojure + ClojureScript web apps

datascript. Immutable database and Datalog query engine for Clojure, ClojureScript and JS

lein-figwheel. Figwheel builds your ClojureScript code and hot loads it into the browser as you are coding!

om-data-vis. Data visualisations using Om and JavaScript libraries

particle-emitter. A particle system for PixiJS

clairvoyant. Flexible tracing for ClojureScript

Higgs. Higgs JavaScript Virtual Machine

react-raf-batching. A game-like batching strategy for React

react-future. Specs & docs for potential future and experimental React APIs and JavaScript syntax.

instar. Simpler and more powerful assoc/dissoc/update-in for both Clojure and ClojureScript

om-tools. Tools for building Om applications

tao. Tao enables two-way data binding for browser history

storage-atom. ClojureScript atoms backed by HTML5 web storage.

clojure. The Clojure programming language

om. ClojureScript interface to Facebook's React

expresso. Clojure library for symbolic computation

synthread. Syntax threading macros for Clojure