Pinned Repositories
birds
A little language inspired by "How to Mock a Mockingbird"
frepl-gui
GUI for the frege repl
impulse
Impulse simplifies and speeds up the IDE development process in Eclipse, for both language with existing front-ends as well as languages generated using compiler and interpreter generation frameworks.
shrink
Command line tool to shrink a JAR file, such as produced by leiningens uberjar
Ingo60's Repositories
Ingo60/shrink
Command line tool to shrink a JAR file, such as produced by leiningens uberjar
Ingo60/birds
A little language inspired by "How to Mock a Mockingbird"
Ingo60/frepl-gui
GUI for the frege repl
Ingo60/impulse
Impulse simplifies and speeds up the IDE development process in Eclipse, for both language with existing front-ends as well as languages generated using compiler and interpreter generation frameworks.
Ingo60/awesome-frege
:star: Useful resources for the Frege programming language
Ingo60/beweise
Spielereien mit dem Theorem Prover lean4
Ingo60/combinators
SKI calculator in rust
Ingo60/frech
Frege Chess Engine
Ingo60/frege-ide
A replacement for the IMP based frege eclipse plugin
Ingo60/railroad
Syntax Diagram Generator (Railroad Diagram)
Ingo60/rasch
chess engine in Rust
Ingo60/settings
Some configuration files
Ingo60/zahlen