Beast code in Giters

felko's starred repositories

tldraw

SDK for creating whiteboards and canvas experiences on the web.

Language:TypeScriptNOASSERTION35260 153 1184

yazi

💥 Blazing fast terminal file manager written in Rust, based on async I/O.

Language:RustMIT14674 40 756

broot

A new way to see and navigate directory trees : https://dystroy.org/broot

Language:RustMIT10568 57 695

LWM

Language:PythonApache-2.07084 66 71

libtree

ldd as a tree

Language:CMIT2629 21 51

csvlens

Command line csv viewer

Language:RustMIT2507 12 72

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustBSD-3-Clause2007 54 1591

zk

A plain text note-taking assistant

Language:GoGPL-3.01645 16 184

markdown-oxide

Robust, Minimalist, Unbundled PKM for your favorite text-editor through the LSP

Language:RustGPL-3.0914 4 106

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Language:TLA805 1060

slipshow

An engine for displaying slips, the next-gen version of slides

Language:OCamlMIT652 7 34

wild

Language:RustApache-2.0523 11 46

packages

Packages for Typst.

Language:RustApache-2.0502 9 53

typst-preview

[DEPRECATED] Use tinymist instead

Language:TypstMIT451 3 151

spr

Submit pull requests for individual, amendable, rebaseable commits to GitHub

Language:RustMIT385 9 62

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

Language:TypeScriptMIT347 6 32

compiler

The adventures of a Haskell compiler

Language:HaskellBSD-3-Clause208 13 4

ghc.nix

Nix (shell) expression for working on GHC

Language:NixBSD-3-Clause143 15 56

verso

Lean documentation authoring tool

Language:LeanApache-2.0112 11 45

polarity

A Language with Dependent Data and Codata Types

Language:RustApache-2.047 2 90

lambda-calculus-hs

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

Language:HaskellApache-2.043 1 5

diamond-lang

A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

Language:Scala39 9 3

lambda-mu-mu-calculus

Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).

Language:HaskellMIT19 20

boreal

Language:HaskellNOASSERTION17 2 13

lean-wf-induct

Language:LeanApache-2.017 20

semantic-preservation

Work in progress. Attempt to prove semantic preservation (forward simulation) for a simple compiler.

Language:CoqBSD-2-Clause9 10

semantic-cut-elimination

Cut-elimination by Semantic Means

Language:Agda5 30

typst.nix

Making typst documents with Nix

Language:Nix4 20

LF

Language:CoqMIT3 20

capture-calculus.lean

Language:Lean2 20