🍍
- South Carolina
Highlights
Stars
- All languages
- Assembly
- Augeas
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Dart
- Dockerfile
- Elixir
- Go
- Groovy
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Mathematica
- Meson
- Nix
- OCaml
- PHP
- PLpgSQL
- Pascal
- Perl
- Processing
- Prolog
- Python
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Starlark
- Swift
- TypeScript
- Vim Script
- Yacc
- Zig
1
star
written in OCaml
Clear filter
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.