Giters
Ingo Wechsung (Ingo60)

Ingo60

Geek Repo

32

followers

4

following

37

stars

Location:Germany

Github PK Tool:Github PK Tool

Organizations
Frege

Ingo Wechsung's repositories

shrink

Command line tool to shrink a JAR file, such as produced by leiningens uberjar

Language:FregeLicense:BSD-3-ClauseStargazers:2Issues:2Issues:0

birds

A little language inspired by "How to Mock a Mockingbird"

Language:FregeLicense:BSD-2-ClauseStargazers:1Issues:2Issues:0

frepl-gui

GUI for the frege repl

Language:FregeLicense:Apache-2.0Stargazers:1Issues:2Issues:0

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.

Language:JavaLicense:NOASSERTIONStargazers:1Issues:2Issues:0

awesome-frege

:star: Useful resources for the Frege programming language

Stargazers:0Issues:2Issues:0

beweise

Spielereien mit dem Theorem Prover lean4

Language:LeanLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

combinators

SKI calculator in rust

Language:RustLicense:MITStargazers:0Issues:2Issues:0

frech

Frege Chess Engine

Language:FregeStargazers:0Issues:4Issues:0

frege-ide

A replacement for the IMP based frege eclipse plugin

Language:JavaLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

railroad

Syntax Diagram Generator (Railroad Diagram)

Language:FregeStargazers:0Issues:2Issues:0

rasch

chess engine in Rust

Language:RustLicense:MITStargazers:0Issues:3Issues:0

settings

Some configuration files

Language:VimLStargazers:0Issues:2Issues:0

zahlen

Language:PerlStargazers:0Issues:2Issues:0