.NET language playground

Geant4 toolkit for the simulation of the passage of particles through matter - NIM A 506 (2003) 250-303

Powerful .NET library for benchmarking

A parser combinator library based on the GLL algorithm

Random Testing for .NET

Important concepts in numerical linear algebra and related areas

The MLton repository

多种风格可选的萌萌计数器

An Open Source Pixelart Science-Fiction Real-Time-Strategy game

The Twelf Programming Language

Animated sprite editor & pixel art tool -- Fork of the last GPLv2 commit of Aseprite

F# game composition library

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Open-source video compositing software. Node-graph based. Similar in functionalities to Adobe After Effects and Nuke by The Foundry.

Generate signature files for F#

A strongly-typed language that compiles to JavaScript

A Python CAS library

A field-theory motivated approach to computer algebra.

OCaml implementation of rho calculus

The FORM project for symbolic manipulation of very big expressions

docTR (Document Text Recognition) - a seamless, high-performing & accessible library for OCR-related tasks powered by Deep Learning.

Scientific computing in Lean 4

A Chunk List is a new, concurrent, chunk-based data structure that is easily modifiable and allows for fast run-time operations.

F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.

The math support for Decimal that Microsoft forgot and more.

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

Logs and metrics are one! Professional logging, metrics and analytics for your apps.

WarpPI Calculator, Step-by-step algebra calculator for Raspberry Pi. (abandoned project)

A cross platform lightweight single-header simple-to-use window abstraction library for creating graphical programs or libraries.