DavidEichmann/z3.rs
Rust bindings for the Z3 solver.
Repositories
DavidEichmann/AoC
DavidEichmann/alpaca-netcode
Game NetCode Solved
DavidEichmann/godot-haskell-gdextension
Godot4 haskell bindings
DavidEichmann/async-imap
Async IMAP implementation in Rust
DavidEichmann/softfloat-hs
Haskell FFI bindings for SoftFloat.
DavidEichmann/binary
Efficient, pure binary serialisation using ByteStrings in Haskell.
DavidEichmann/plutus-apps
The Plutus application platform
DavidEichmann/plutus
The Plutus language implementation and tools
DavidEichmann/cardano-ledger-specs
A formal specification and executable model of the ledger rules introduced by the Shelley release
DavidEichmann/hls-bug-report-01
DavidEichmann/nfrp
DavidEichmann/xml-to-json
Fast & easy command line tool for converting XML files to JSON
DavidEichmann/alpaca-docs
Documentation for using the alpaca framework
DavidEichmann/GeometryDemo
DavidEichmann/chipmunk-rs
Rust bindings to the Chipmunk2D physics engine.
DavidEichmann/godot-haskell
Haskell bindings for GdNative
DavidEichmann/berkeley-softfloat-3
SoftFloat release 3
DavidEichmann/boger-banana
Haskell based framework combining HOGRE, HOIS, and reactive-banana
DavidEichmann/libdatachannel
C/C++ WebRTC network library featuring Data Channels, Media Transport, and WebSockets
DavidEichmann/ode
ODE and ogre3D simulation
DavidEichmann/RunBuddies
DavidEichmann/godot-vs-rapier
compare gdnative rust based physics against Godot built-in physics
DavidEichmann/plutus-starter
A starter project for Plutus apps
DavidEichmann/VersionedProtocolExample
An example of typed and versioned protocols
DavidEichmann/alpaca-deterministic-fixed
A deterministic fixed percision number type with a Floating instance
DavidEichmann/godot-extra
High-level abstractions over godot-haskell.
DavidEichmann/graphql-engine-benchmark
Reproducable benchmarking of graphql-engine
DavidEichmann/graphql-engine
Blazing fast, instant realtime GraphQL APIs on Postgres with fine grained access control, also trigger webhooks on database events.