Emacs tree-sitter support for Nushell

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...

A library for probabilistic programming

Dark Matter GRUB Theme 👾💙

Android application for scanning and manipulating handwritten notes and documents.

Scripts for building LaTeX projects using GNU/Make

A simple, bare-bones, no-frills note taking app for Android.

Mount Android phones on Linux with adb. No root required.

C++/Wolfram Language package for exploring set and graph rewriting systems

Village Market Simulator

𝛌 Awesome Idris resources

Dzen is a general purpose messaging, notification and menuing program for X11.

Open-source virtual modular synthesizer

⛄ Possibly the smallest compiler ever

Parser combinators built for speed and memory efficiency

Refinement types for Scala

Movim - Decentralized social platform

Helios server

This is a clone of the code contained on http://dev.null.org/dadaengine

🍊 Clementine Music Player

Module Integration Simulator v2

Social server with an ActivityStreams API

Non relevant interweb examples tutorials and similar stuff, hopefully with enough info to help others

A website which shows clearly the Scottish entrepreneurial support options available

A HTTP Ruby API for Consul

Graph for Scala is intended to provide basic graph functionality seamlessly fitting into the Scala Collection Library. Like the well known members of scala.collection, Graph for Scala is an in-memo…

openmcu.ru

Exhaustive molecule generator

GitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!