Our great sponsors
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
Compiler for the B programming language (by Leushenko)
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
A curated list of low level programming languages (i.e. suitable for OS and game programming)
Io programming language. Inspired by Self, Smalltalk and LISP.
For oo/meta I'm partial to IO: https://iolanguage.org, is pretty neat to see how prototypal OO works.
moved from https://sourceforge.net/p/min-caml/code/
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
1ML prototype interpreter
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
A Proof-oriented Programming Language
The core OCaml system: compilers, runtime system, base libraries
OCaml JoCaml GCaml CAMLLight MinCaml
The MLton repository
Please file issues or pull requests here: https://github.com/dotnet/fsharp (by fsharp)
CakeML: A Verified Implementation of ML
Languages with interesting pattern matching design ?
1 project | reddit.com/r/ProgrammingLanguages | 22 Mar 2023
The Io Language
8 projects | news.ycombinator.com | 18 Mar 2023
Regex-Like Pattern Matching on Arrays/Lists [Question]
1 project | reddit.com/r/ProgrammingLanguages | 7 Mar 2023
What are some pros and cons of languages that force particular casings for identifiers of a specific purpose?
1 project | reddit.com/r/ProgrammingLanguages | 12 Dec 2022
[2022 Day 1-7] Going for 1 language per day, looking good so far
7 projects | reddit.com/r/adventofcode | 8 Dec 2022