Highlight JS definition for the J programming language

adds an optional type system to J language

Windows system utilities to maximize productivity

New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.

Learn TLA+ for free! No prior experience necessary!

Exercism exercises in J.

A synchronous language with ODEs

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

J engine source mirror

The comprehensive .NET Developer Roadmap by seniority level.

A Proof-oriented Programming Language

Dafny is a verification-aware programming language

Lean 4 programming language and theorem prover

Koka language compiler and interpreter

ASP.NET Core based F# framework

DiffSharp: Differentiable Functional Programming

Plugin to replace FSharp.Data.JsonProvider default serialization with fast System.Text.Json

📺 Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!