Stars
- All languages
- ActionScript
- AppleScript
- Arduino
- Assembly
- Awk
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- DIGITAL Command Language
- EJS
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Go
- Groovy
- HTML
- Handlebars
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Less
- Lua
- Makefile
- Markdown
- Mathematica
- Mustache
- Nunjucks
- OCaml
- Objective-C
- OpenEdge ABL
- PHP
- PLpgSQL
- Perl
- PowerShell
- Pug
- Python
- R
- Racket
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- Vala
- Vim Script
- Visual Basic
- Vue
- Xtend
- Yacc
- hoon
- wisp
3
stars
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
The Opa Language for Web Application Development
SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.