F#
A functional-first programming language on .NET.
ToolLanguages & runtimesdotnetfunctionallanguage
Recommended in 1 thread
C# now beats Rust on WASM sizegithub.com ·
Suggested as a better-designed .NET language with C# interop.
Similar tools
- 1 thread
- 1 thread
- 1 thread
- 1 thread
- Lean ↗Languages & runtimes2 threads
An interactive theorem prover and programming language used to formalize mathematical proofs.
- Catala Languages & runtimes1 thread
A programming language for translating legal statutes into executable code.
- 2 threads
- Futhark ↗Languages & runtimes1 thread
A purely functional, data-parallel array language that compiles to GPU and CPU code.
Also in Languages & runtimes
- 2 threads
- 2 threads
- Lobster ↗2 threads
A high-level programming language by Wouter van Oortmerssen, focused on ease of use with good performance.
- Rust2 threads
A systems programming language with compile-time memory safety guarantees.
- Catala1 thread
A programming language for translating legal statutes into executable code.
- Coalton1 thread
A statically typed functional language embedded in Common Lisp.
- 1 thread
- Elixir1 thread
A functional language on the Erlang VM.
- F*1 thread
A proof-oriented functional programming language with dependent types.
- Fil-C1 thread
A memory-safe implementation of C/C++ that compiles existing code with runtime safety checks.
- 1 thread
- Go1 thread
A compiled, garbage-collected language from Google with goroutines.