Stars
- All languages
- ActionScript
- Assembly
- Astro
- Batchfile
- Blade
- Brainfuck
- C
- C#
- C++
- CMake
- CSS
- CWeb
- Clojure
- Coq
- DM
- Dart
- Dockerfile
- Earthly
- Elixir
- Emacs Lisp
- F#
- FreeBASIC
- G-code
- GLSL
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Schematic
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Nix
- Nunjucks
- OCaml
- OpenQASM
- PHP
- Pascal
- Perl
- PowerShell
- Prolog
- Python
- Racket
- Ren'Py
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- ShaderLab
- Shell
- Solidity
- Starlark
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- TypeSpec
- Typst
- VHDL
- Verilog
- Vim Script
- Vue
- hoon
- reStructuredText
8
stars
written in OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
A code rewrite tool for structural search and replace that supports ~every language.
Hardcaml is an OCaml library for designing hardware.
[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
dra27 / opam
Forked from ocaml/opamOPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
8l / hardcaml
Forked from ujamjar/hardcamlRegister Transfer Level Hardware Design in OCaml
connerohnesorge / hardcaml
Forked from janestreet/hardcamlHardcaml is an OCaml library for designing hardware.