Giters
Gary Haussmann (Izzimach)

Izzimach

Geek Repo

90

followers

2

following

103

stars

Company:Interstellar Echidna

Home Page:interstellarechidna.com

Twitter:@Izzimach

Github PK Tool:Github PK Tool

Gary Haussmann's starred repositories

ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Language:LeanLicense:Apache-2.0Stargazers:91Issues:0Issues:0

Untangle

Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4

Language:LeanStargazers:14Issues:0Issues:0

lean4-alloy

Write C shims from within Lean code.

Language:LeanLicense:Apache-2.0Stargazers:45Issues:0Issues:0

lean-vulkan

Language:LeanStargazers:5Issues:0Issues:0

iris-lean

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

Language:LeanLicense:Apache-2.0Stargazers:62Issues:0Issues:0

quote4

Intuitive, type-safe expression quotations for Lean 4.

Language:LeanLicense:Apache-2.0Stargazers:67Issues:0Issues:0

tutorials

Some Lean tutorials

Language:LeanLicense:Apache-2.0Stargazers:180Issues:0Issues:0

LSpec

A Testing Framework for Lean

Language:LeanLicense:MITStargazers:35Issues:0Issues:0

LeanColls

WIP collections library for Lean 4

Language:LeanLicense:Apache-2.0Stargazers:29Issues:0Issues:0

SDL.lean

SDL2 bindings for lean

Language:LeanLicense:MITStargazers:19Issues:0Issues:0

SciLean

Scientific computing in Lean 4

Language:LeanLicense:Apache-2.0Stargazers:230Issues:0Issues:0

winnow

Incremental story sifting DSL

Language:JavaScriptStargazers:25Issues:0Issues:0

grace

A ready-to-fork interpreted functional language with type inference

Language:JavaScriptLicense:BSD-3-ClauseStargazers:378Issues:0Issues:0

explainable-predicates

Predicates that can explain themselves

Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:0Issues:0

vulkan-diagrams

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

License:MITStargazers:851Issues:0Issues:0

vulkan

Haskell bindings for Vulkan

Language:HaskellLicense:BSD-3-ClauseStargazers:139Issues:0Issues:0

alpaca-netcode

Game NetCode Solved

Language:HaskellLicense:Apache-2.0Stargazers:23Issues:0Issues:0

react-three-fiber

🇨🇭 A React renderer for Three.js

Language:TypeScriptLicense:MITStargazers:26365Issues:0Issues:0

halive

Live recompiler for Haskell

Language:HaskellLicense:BSD-2-ClauseStargazers:263Issues:0Issues:0

concur

An unusual Web UI Framework for Haskell

Language:JavaScriptLicense:BSD-3-ClauseStargazers:304Issues:0Issues:0

holmes

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

Language:HaskellLicense:MITStargazers:298Issues:0Issues:0

eff

🚧 a work in progress effect system for Haskell 🚧

Language:HaskellLicense:ISCStargazers:548Issues:0Issues:0

asterius

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

Language:HaskellStargazers:1978Issues:0Issues:0

higgledy

Higher-kinded data via generics

Language:HaskellLicense:MITStargazers:170Issues:0Issues:0

gloss

Painless 2D vector graphics, animations and simulations.

Language:HaskellStargazers:393Issues:0Issues:0

freer-simple

A friendly effect system for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:224Issues:0Issues:0

fused-effects

A fast, flexible, fused effect system for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:635Issues:0Issues:0

vinyl-gl

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

Language:HaskellLicense:BSD-3-ClauseStargazers:30Issues:0Issues:0

Vinyl

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

Language:HaskellLicense:MITStargazers:260Issues:0Issues:0

apart

Get all your structure and rip it apart.

Language:HaskellLicense:BSD-3-ClauseStargazers:29Issues:0Issues:0