qexat

qexat's starred repositories

servo

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

Language:RustMPL-2.028402 508 12682

toml

Tom's Obvious, Minimal Language

MIT19538 325 519

cobalt

best way to save what you love

Language:SvelteAGPL-3.016718 74 544

xv6-riscv

Xv6 for RISC-V

Language:CNOASSERTION7171 92 100

markdownlint

A Node.js style checker and lint tool for Markdown/CommonMark files.

Language:JavaScriptMIT4808 65 676

YouPlot

A command line tool that draw plots on the terminal.

Language:RubyMIT4221 21 29

loro

Reimagine state management with CRDTs. Make your app collaborative effortlessly.

Language:RustMIT4158 35 104

bdwgc

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)

Language:CNOASSERTION2985 100 505

porffor

A from-scratch experimental AOT JS engine, written in JS

Language:JavaScriptMIT2636 30 136

Idris2

A purely functional programming language with first class types

Language:IdrisNOASSERTION2521 63 1202

mathlib4

The math library of Lean 4

Language:LeanApache-2.01523 38 408

pharo

Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.

Language:SmalltalkNOASSERTION1211 41 7037

Arend

The Arend Proof Assistant

Language:JavaApache-2.0692 13 253

pi-forall

A demo implementation of a simple dependently-typed language

Language:HaskellBSD-3-Clause563 33 5

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Language:AgdaAGPL-3.0349 11 73

vscoq

Visual Studio Code extension for Coq

Language:OCamlMIT342 14 364

elan

The Lean version manager

Language:RustApache-2.0316 16 75

aya-dev

A proof assistant and a dependently-typed language

Language:JavaMIT280 9 365

lambda-term

Terminal manipulation library for OCaml

Language:OCamlNOASSERTION209 12 42

type-inference-by-example

A series of down-to-earth articles on implementing type inference

Language:Scala153 8 3

zed

Abstract engine for text edition in OCaml

Language:OCamlNOASSERTION122 14 15

metaocaml-bibliography

MetaML and MetaOCaml bibliography

85 160

ordo

Ordo: A minimalist language with row polymorphism

Language:Rust80 5 7

Fibsonicci

Source code for a video on computing Fibonacci numbers efficiently

Language:C++78 20

ErrorTypes.jl

Rust-like error types in Julia

Language:JuliaMIT49 3 4

get

✨ A query language for the web 🌐

Language:TypeScriptApache-2.022 2 12

todomvc-tui

TodoMVC, but for TUI frameworks and libraries. Here to satiate your pursuit of that "hot new framework" cravings.

Language:RustMIT6 1 1

boolean-solver

A tiny little boolean solver.

Language:OCamlMPL-2.04 10

heckorator

the most readable decorators you've ever seen

Language:PythonNOASSERTION400

StraTT

Supplementary material for Stratified Type Theory

Language:HaskellZlib1 10