Josef's repositories
elm-compiler
Compiler for Elm, a functional language for reliable webapps.
elm-on-absal
An Elm to Abstract Algorithm compiler.
abstract-algorithm
Optimal evaluator of λ-calculus terms.
core
Elm's core libraries
elm-eureka
Elm eureka is a rust library for parsing elm projects and elm code.
Formality
An efficient programming language and proof assistant.
GeneralsGamePatch
Generals Game Patch to fix most bugs and balancing issues in Zero Hour 1.04
GeneralsLauncherRust
Proof of concept of Generals Launcher in Rust.
GenLauncherFiles
Config files for GenLauncher.
ghc
Fork of official GHC repository.
Halite
@twosigma's artificial intelligence programming challenge
Idris-dev
A Dependently Typed Functional Programming Language
irvis
IR visualisation tool
korge-next
Mono-repo with all korlibs to shape KorGE 2.0 without having to wait hours for CI :)
language-haskell
Highlighting support for the Haskell language in visual studio code.
luna
Hybrid textual and visual functional programming.
MMH55
mod development branch
moon-lang
Minimal code-interchange format
PanicStatioin
Gymnasium leaving project. Online board game for 4-6 players.
sbt-elastic-beanstalk
SBT AutoPlugin to publish Docker applications to Elastic Beanstalk
sixtyfps
SixtyFPS is a toolkit to efficiently develop fluid graphical user interfaces for any display: embedded devices and desktop applications. We support multiple programming languages, such as Rust, C++ or JavaScript.
vscode-elm
Elm Language Support for Visual Studio Code