monsterkrampe Goto Github PK

3m5.gamejam4

asp-termination-examples

coco

a simple MVC framework

create-react-app

Create React apps with no build configuration.

crystal

Exercism exercises in Crystal.

crystal-book

Crystal docs at https://crystal-lang.org/reference

crystal-quine

electron-forge

A complete tool for creating, publishing, and installing modern Electron applications

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

knowledge-graphs

My solutions for the exercises in the Knowledge Graphs lecture at TU Dresden (2018/19)

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

proof-library

My personal proof playground for anything I want to formalize. Mostly this will be about (basics) of my own formal works.

qpftypes

A WIP definitional (co)datatype package for Lean4

react-reconciler-experiments

react-reconciler-presentation

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