-
Soteria Tools Ltd.
- giltho.github.io
- https://orcid.org/0000-0001-9419-5387
Highlights
- Pro
Stars
A native macOS app store for software that isn't on the App Store, backed by Homebrew Cask
GitHub Action for the OCaml programming language
Programming language for literate programming law specification
Define compiler intermediate representation usable by external tools
HTTP request routing library for OCaml web applications.
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of…
Creusot helps you prove your Rust code is correct.
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
A library of generic data structures for the C language.
A code rewrite tool for structural search and replace that supports ~every language.
package.json workflow for native development with Reason/OCaml
34EF A language server for reason, in reason