Repository Index

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

• programming-language
• carbon-lang
• compiler
• cpp

An experimental Rust port of the TypeScript 7 compiler (tsc)

• compiler
• rust
• tsc
• typescript

A home for your business logic in any .NET application.

• csla
• windows-forms
• wpf
• blazor

An experimental type-level Ruby interpreter for testing and understanding Ruby code

An experiment in adding functional pattern matching to JavaScript

Functional Experiment in Golang

• functional-programming
• go
• golang
• functional

FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch

• programming-language
• windows
• scripting-language
• compiler

Haxe native extension for the Steam API

An implementation of IO, Stream, Fiber for golang inspired by cats and fs2

Experimental Malfunction backend for Idris

Prime numbers for Coq

• coq
• theorem-proving
• elliptic-curves
• prime-numbers

Experiments on workflow with common lisp

• emacs
• common-lisp
• slime
• test-automation

An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp

Experiment to compile something Elm-ish to Wasm

Rust implementations of core Algorand functionality that is exposed to other languages via FFIs.

• algokit
• lib
• experimetal

Experiment to rewrite Python into PyTeal using RedBaron