io:nathan (@thalerjonathan)
github

thalerjonathan

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    88
  • Global Rank 227,796 (Top 8 %)
  • Followers 82
  • Following 3
  • Registered almost 11 years ago
  • Most used languages
    Idris     27.3 %
    Haskell
         27.3 %
    Rust
         18.2 %
    Limbo     9.1 %
    HTML
         9.1 %
    JavaScript
         9.1 %
  • Location ๐Ÿ‡ฆ๐Ÿ‡น Austria
  • Country Total Rank 1,141
  • Country Ranking
    Idris     1
    Limbo     1
    Haskell
         17
    Rust
         170
    JavaScript
         703
    HTML
         895

Top repositories

1

phd

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

gloss-idris

A port of the gloss library from Haskell to Idris
Idris
22
star
3

chimera

A library for pure functional Agent-Based Simulation in Haskell
Haskell
13
star
4

Towards-DDD-Haskell

Exploring a Software Architecture in Haskell with emphasis on Tactical Domain-Driven Design
JavaScript
8
star
5

glfw-idris-st

Bindings for the GLFW library in Idris
Idris
5
star
6

gl-idris-b

Low level OpenGL bindings for Idris
Idris
4
star
7

haskell-sir

Implementation of time- and event-driven SIR together with property-based tests.
Haskell
1
star
8

rust-ddd

Exploring implementing DDD and Microservices with the help of LLMs in Rust
Rust
1
star
9

rusterer

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

scada-haskell

Haskell
1
star
11

rustyraytracer

Learning Rust by (finally) writing my own raytracer
Rust
1
star
12

haskell-stm-sugarscape

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