Datalog compiler embedded in Rust as a procedural macro

Utilities and documentation for exploring idirs2's new elaborator reflection.

Your Little Cargo Registry

A functional programming language with static memory management

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

OCaml<->Rust FFI with an emphasis on safety.

the language that supports trans rights

Mini C Compiler

Curly programming language

Paka language

High-quality Pascal highlighting for VSCode

Promoting Solutions that Improve Wellbeing, Freedom and Society

Malfunction backend for Idris 2

Creating WASM minigames in rust from scratch

CakeML: A Verified Implementation of ML

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

The Software Analysis Workbench

SAW front end for the MIR language from rustc

Idris front-end for VS Code

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

A refreshingly simple data-driven game engine built in Rust

Alternative Twitter front-end

A purely functional programming language with first class types

A simple Git commit message editor for Gnome.

🚀 Stealth - Secure, Peer-to-Peer, Private and Automateable Web Browser/Scraper/Proxy

TwitRSS.me: Tool to make Twittter timelines and searches into RSS feeds

Create GNOME Shell extensions in seconds

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …

A GNOME👣 theme for Firefox🔥

Peer to peer data syncronization [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]