Lukas Gerlach's repositories
coco
a simple MVC framework
create-react-app
Create React apps with no build configuration.
crystal
Exercism exercises in Crystal.
knowledge-graphs
My solutions for the exercises in the Knowledge Graphs lecture at TU Dresden (2018/19)
proof-library
My personal proof playground for anything I want to formalize. Mostly this will be about (basics) of my own formal works.
crystal-book
Crystal docs at https://crystal-lang.org/reference
electron-forge
A complete tool for creating, publishing, and installing modern Electron applications
evonne
Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging
fakeit
Create mock server from Openapi specification
hooks-by-example
Collection of beginner-friendly real world examples of hook usage.
iframe-resizer-react
The official React interface for Iframe-Resizer
kotlinplayground-calculator
Learning Kotlin by doing: Implement a calculator to make all tests green!
mathlib4
The math library of Lean 4
mermaid
Generation of diagram and flowchart from text in a similar manner as markdown
popper.js
A kickass library to manage your poppers
QpfTypes
A WIP definitional (co)datatype package for Lean4
react-select-plus
Fork of https://github.com/JedWatson/react-select with option group support
react-string-replace
A simple way to safely do string replacement with React components
rulewerk
Java library based on the VLog rule engine
typescript-fsa-reducers
Fluent syntax for defining typesafe reducers on top of typescript-fsa.
website-copy
A repository for exercism's website's copy