🏠
💻 🍞 ☕
Stars
- All languages
- ANTLR
- ActionScript
- Ada
- Alloy
- Assembly
- Bikeshed
- Blade
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Cuda
- D
- Dafny
- Dart
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- FreeBASIC
- Go
- Groff
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Haxe
- Idris
- Inno Setup
- Isabelle
- Java
- JavaScript
- Jsonnet
- Julia
- Jupyter Notebook
- Kaitai Struct
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- Mathematica
- Meson
- MiniZinc
- Nemerle
- Nim
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Pascal
- Perl
- Perl 6
- PicoLisp
- PostScript
- Processing
- Promela
- Protocol Buffer
- Puppet
- Python
- R
- Racket
- Ragel
- ReScript
- Red
- RenderScript
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SQLPL
- Scala
- Scheme
- Scilab
- Shell
- Smarty
- Standard ML
- Starlark
- Swift
- TLA
- TeX
- Terra
- Thrift
- Toit
- Twig
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- Yacc
- Zig
- eC
5
stars
written in F#
Clear filter
F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
Please file issues or pull requests here: https://github.com/dotnet/fsharp
Grey-box Concolic Testing on Binary Code (ICSE '19)
Blech is a language for developing reactive, real-time critical embedded software.