thalerjonathan Goto Github PK

chimera

A library for pure functional Agent-Based Simulation in Haskell

gl-idris-b

Low level OpenGL bindings for Idris

glfw-idris-st

Bindings for the GLFW library in Idris

gloss-idris

A port of the gloss library from Haskell to Idris

haskell-sir

Implementation of time- and event-driven SIR together with property-based tests.

haskell-stm-sir

Contains the STM implementations of the SIR model, undertaken for my PhD research.

haskell-stm-sugarscape

Contains the STM implementations of the Sugarscape model, undertaken for my PhD research.

haskell-sugarscape

An implementation of the FULL Sugarscape model, including property-based tests.

hdbc-clickhouse

idris-callbacks-tests

localhackday

Its time to kick ass and chew bubble gum, and I'm all out of gum.

masterthesis

pallas

Rust-native building blocks for the Cardano blockchain ecosystem

phd

Stuff of my PhD I want to share publicly: all code, texts of my papers, research-notes & research-diary

phoenix

Java Spring Boot-inspired framework for writing monoliths and microserive backends in Haskell with DB mapping, caching, mail, messaging, REST, DDD, TDD, BDD, CQRS/ES support out of the box

rusterer

A small multi core game engine with a job system and custom renderer written in Rust

rustyraytracer

Learning Rust by (finally) writing my own raytracer

scada-haskell

towards-ddd-haskell

Exploring a Software Architecture in Haskell with emphasis on Tactical Domain-Driven Design

zazengine

Automatically exported from code.google.com/p/zazengine

zazensquares

Automatically exported from code.google.com/p/zazensquares

zerointelligence