#
Lists (1)
Sort Name ascending (A-Z)
- All languages
- APL
- ATS
- AppleScript
- Arc
- Assembly
- AutoHotkey
- AutoIt
- Awk
- Batchfile
- Bikeshed
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Cython
- D
- Dart
- Dhall
- Dockerfile
- Earthly
- Eiffel
- Elixir
- Elm
- Emacs Lisp
- F#
- Fennel
- Forth
- GAP
- GDScript
- GLSL
- Go
- HLSL
- HTML
- Handlebars
- Haskell
- Janet
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- Meson
- MoonScript
- Mustache
- NSIS
- Nim
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PEG.js
- PHP
- PLpgSQL
- Pascal
- Pawn
- Perl
- PostScript
- PowerBuilder
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- R
- Racket
- Reason
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Scheme
- Shell
- Smalltalk
- Squirrel
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- V
- VBScript
- Verilog
- Vim Script
- Visual Basic
- Visual Basic .NET
- Vue
- WebAssembly
- XSLT
- Zig
- hoon
- sed
Starred repositories
5
results
for source starred repositories
written in OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Programming language for literate programming law specification
Systems language with linear types and capability-based security.