A Visual Studio Code extension for Chez Scheme, it uses the REPL for autocompletions and to evaluate expressions.

The Standard ML compiler that produces Lua/JavaScript

Scheme language server

libraries for chez scheme productivity

A new operating system kernel with Linux binary compatibility written in Rust.

Package scripts for Cygwin targets to build under MSYS2.

a classy font

A purely functional programming language with first class types

windows package repository for OPAM (mingw and msvc)

Lean 4 programming language and theorem prover

Watch MLB games from the comfort of your own terminal

Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.

Compile Time Regular Expression in C++

The MLton repository

A dependently typed programming language, a successor to Idris

1ML prototype interpreter

CakeML: A Verified Implementation of ML

✔️The smallest header-only GUI library(4 KLOC) for all platforms

A JSON library for Chez Scheme

Poly/ML

Factor programming language

A Proof-oriented Programming Language

Functional language for parallel programming

Please file issues or pull requests here: https://github.com/dotnet/fsharp

Chez Scheme self hosting executable

Package scripts for MinGW-w64 targets to build under MSYS2.

OpenZFS on Windows port - old repo, use `OpenZFS` repo

A Common Intermediate Language backend for Idris 1