A T-Code input method implementation for fcitx

A polyphonic subtractive synthesizer and microtonal sequencer running entirely in the browser using Ruby/WASM and the Web Audio API.

A collection of type-based library search algorithms

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

Call & Await React Components

Alternative à lilypond-book pour lualatex

A tool for editing files according to the rules of a provided Turing Machine

being an operating system for typechecking processes

A project to map out the relations between different equational theories of Magmas.

Haskell implementation of grammar-based compression algorithm SEQUITUR

A Vim-like interface for Firefox, inspired by Vimperator/Pentadactyl.

A Coq library for Homotopy Type Theory

The configuration framework for Zsh

Intelligent Input Bus for Linux/Unix

A comprehensive Amazon Web Services SDK for Haskell.

hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.

Compiler from OCaml to Javascript.

The expl3 (LaTeX3) Development Repository

Library to read, analyze, transform and generate Scala programs

Keyboard Layout Files Creator

A package to allow SATySFi to have floating boxes at the bottom of pages.

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://logseq.io/p/NX4mc_ggEV

Jelly is a recreational programming language inspired by J.

Converter of logseq links to org-roam links

A terminal for iOS, with multiple windows

Extensible Plain-text Archive (.epar) Format

Custom OPAM repository for SATySFi libraries managed by Satyrographos

Standard library for OCaml