Matthias Heinzel (mheinzel)

mheinzel

Geek Repo

Location:Berlin

Twitter:@mheinzel_

Github PK Tool:Github PK Tool

Matthias Heinzel's starred repositories

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

Language:RustLicense:MITStargazers:51608Issues:321Issues:627

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:31671Issues:86Issues:2253

nixpkgs

Nix Packages collection & NixOS

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

Language:RustLicense:NOASSERTIONStargazers:16335Issues:102Issues:1832

DreamBerd

perfect programming language

Zettlr

Your One-Stop Publication Workbench

Language:TypeScriptLicense:GPL-3.0Stargazers:9939Issues:85Issues:3180

ihp

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Language:HaskellLicense:MITStargazers:4874Issues:38Issues:813

jabref

Graphical Java application for managing BibTeX and biblatex (.bib) databases

Language:JavaLicense:MITStargazers:3491Issues:112Issues:4287

tasks

Bringing Astrid Tasks back from the dead

Language:KotlinLicense:GPL-3.0Stargazers:3426Issues:77Issues:2024

uniffi-rs

a multi-language bindings generator for rust

Language:RustLicense:MPL-2.0Stargazers:2535Issues:40Issues:1231

rust-memory-container-cs

Rust Memory Container Cheat-sheet

Language:ShellLicense:MITStargazers:2305Issues:27Issues:10

dex-lang

Research language for array processing in the Haskell/ML family

Language:HaskellLicense:BSD-3-ClauseStargazers:1565Issues:58Issues:360

obsidian-citation-plugin

Obsidian plugin which integrates your academic reference manager with the Obsidian editor. Search your references from within Obsidian and automatically create and reference literature notes for papers and books.

Language:TypeScriptLicense:MITStargazers:1053Issues:16Issues:240

emanote

Emanate a structured view of your plain-text notes

Language:HaskellLicense:NOASSERTIONStargazers:777Issues:15Issues:213

nix-software-center

A simple gtk4/libadwaita software center to easily install and manage nix packages

Language:RustLicense:GPL-3.0Stargazers:539Issues:8Issues:60

eclair-lang

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

Language:HaskellLicense:BSD-3-ClauseStargazers:197Issues:4Issues:22

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

Language:HaskellLicense:NOASSERTIONStargazers:121Issues:17Issues:35

Walleye

A chess engine written from scratch in Rust ♞

Language:RustLicense:MITStargazers:119Issues:6Issues:16

rock

Build system

Language:HaskellLicense:NOASSERTIONStargazers:116Issues:7Issues:7

facet

a functional programming language with algebraic effects and handlers

Language:HaskellLicense:BSD-3-ClauseStargazers:81Issues:8Issues:2

sitelen-sitelen-renderer

JavaScript library to turn Toki Pona text into the Sitelen Sitelen or Sitelen Suwi non-linear writing style.

Language:JavaScriptLicense:MITStargazers:62Issues:11Issues:31

Lynx

Chess Engine, written in C#

Language:C#License:MITStargazers:34Issues:5Issues:5

Inanis

UCI chess engine written in Rust, the successor of Proxima b, Proxima b 2.0 and Cosette.

Language:RustLicense:GPL-3.0Stargazers:29Issues:7Issues:3

sitelen-sitelen

SVG glyphs for sitelen sitelen

Language:HTMLLicense:MITStargazers:23Issues:5Issues:2

spire

Algorithmically solve Slay the Spire

Language:HaskellLicense:BSD-3-ClauseStargazers:19Issues:2Issues:0

ilonanpa

ilo nanpa li ilo pi nasin nanpa pi toki pona.

Language:CLicense:BSD-2-ClauseStargazers:12Issues:2Issues:0

overeasy

A purely functional E-Graph library

Language:HaskellLicense:BSD-3-ClauseStargazers:9Issues:3Issues:1

linja-Sipiki

6x6* font for toki pona

Language:PythonStargazers:1Issues:1Issues:0

overeasy

A purely functional E-Graph library

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0