Radicle is a peer-to-peer, local-first code collaboration stack built on Git

A rust executor that can be used as hash line

An LSP (Language Server Protocol) server for Scheme

This package provides a powerful todo.txt application for the console.

TypeScript execution environment and REPL for node.js, with source map support

TypeScript is a language for application scale JavaScript development

Yasr is a general-purpose console screen reader for GNU/Linux and other Unix-like operating systems

This Emacs mode enables interactive development with Agda. It also aids the input of Unicode characters.

Agda is a dependently typed functional programming language: it has inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). Agda is also a proof assistant: it is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL.

This package provides a collection of theories and plugins that may be useful in other Coq developments.

This development encodes category theory in Coq, with the primary aim being to allow representation and manipulation of categorical terms, as well realization of those terms in various target categories.

inQWIRE's QuantumLib is a Coq library for reasoning about quantum computation and quantum programs.

SQIR is a Small Quantum Intermediate Representation for quantum programs. Its intended use is as an intermediate representation in a Verified Optimizer for Quantum Circuits (VOQC), but we have also used it to implement verified versions of several quantum algorithms.

SQIR is a Small Quantum Intermediate Representation for quantum programs. Its intended use is as an intermediate representation in a Verified Optimizer for Quantum Circuits (VOQC), but we have also used it to implement verified versions of several quantum algorithms.

QuantumLib is a Coq library for verifying the ZX Calculus.

This package provides a completion system for mathematical symbols.

This package provides an org babel mode for evaluating blocks of egglog code in org mode.

Emacs major mode for editing Agda code embedded in Org (.lagda.org) files

Provides font-lock, REPL integration ( via comint ) and a basic help documentation for the J programming language.

Emacs major-mode for editing GAP files.

Emacs major mode for working with egglog (e-graphs, EqSat + Datalog).

Snac is a simple, minimalistic ActivityPub instance written in portable C.

It features:

• Lightweight, minimal dependencies

• Extensive support of ActivityPub operations, e.g. write public notes, follow users, be followed, reply to the notes of others, admire wonderful content (like or boost), write private messages, etc.

• Multiuser support

• Mastodon API support, so Mastodon-compatible apps can be used

• Simple but effective web interface

• Easily-accessed MUTE button to silence users

• Tested interoperability with related software

• No database needed

• Totally JavaScript-free; no cookies either

PolyGlot is a "UCI adapter". It connects a UCI chess engine to an xboard interface.

PolyGlot tries to solve known problems with other adapters. For instance, it detects and reports draws by fifty-move rule, repetition, etc...

Speed Dreams is a car racing simulator featuring high-quality 3D graphics and an accurate physics engine, aiming for maximum realism. Initially forked from TORCS, it features improvements to the graphics and physics simulation, and supports modern input methods such as gamepads by use of the SDL library. It features more than 20 tracks and more than 80 cars to race with. Extra (freely licensed) assets can be downloaded via the in-game download manager.