Performance monitoring and benchmarking suite

NumPy aware dynamic Python compiler using LLVM

The Crystal Programming Language

Scots Army Knife for electronics

📚 Freely available programming books

mawww's experiment for a better code editor

Formal Reasoning About Programs

Interpreted language focused on expressiveness and type safety.

std::tuple like methods for user defined types without any macro or boilerplate code

A port of Coq to Javascript -- Run Coq in your Browser

Re-editable LaTeX/ typst graphics for Inkscape

An open-source, customizable intermediate logic textbook

A book-in-progress about the Linux kernel and its insides.

Extensional capabilities and deriving combinators

Configuring all the things with Nix

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

A curses threads-with-tags style email client (mailing list: supmua@googlegroups.com)

Papers from the computer science community to read and discuss.

Exercism exercises in Idris.

Functional Programming Course

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

uhubctl - USB hub per-port power control

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

A fast and easy-to-use status bar

A Juno-inspired dual oscillator

sc-im - Spreadsheet Calculator Improvised -- An ncurses spreadsheet program for terminal

Keyboard firmwares for Atmel AVR and Cortex-M

A LaTeX package to typeset menu sequences, key strokes, paths etc.

A statically-typed, functional typesetting system