ujamjar Goto Github PK

board-tools

board-tools

camlp4-to-ppx

Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes

ctypes_of_clang

Convert C-code to OCaml Ctypes via Clang

hardcaml

[Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml

hardcaml-affirm

Verification tools for HardCaml

hardcaml-bloop

boolean operations

hardcaml-docs

HardCaml OCamlDoc documentation

hardcaml-examples

HardCaml example designs

hardcaml-framework

Framework for building HardCaml core generators as command line apps or webpages

hardcaml-gaa

Guarded Atomic Actions for HardCaml

hardcaml-game-of-life

hardcaml-incrementally

Incremental based cycle accurate simulator

hardcaml-llvmsim

LLVM JIT Cycle Accurate Simulator for HardCaml

hardcaml-meta

META data tools for VHDL/Verilog cores for use with HardCaml

hardcaml-mor1kx

OpenRISC mor1kx port to HardCaml

hardcaml-opam

hardcaml opam release repository

hardcaml-reedsolomon

HardCaml Reed-Solomon Error Correction CODEC

hardcaml-riscv

RISC-V instruction set CPUs in HardCaml

hardcaml-tutorial

Tutorial designs for HardCaml

hardcaml-vpi

HardCaml Icarus Verilog VPI cosimulation

hardcaml-waveterm

[Deprecated] Digital waveform viewer

hardcaml-yosys

[DEPRECATED] Import verilog designs into hardcaml using yosys

hardcaml-zinc

HardCaml implementation of the OCaml ZINC Abstract Machine

lm32

LatticeMico32 soft processor

mor1kx

mor1kx - an OpenRISC 1000 processor IP core

ocaml-cryptominisat

OCaml bindings for cryptominisat4 *DEPRECIATED* see https://github.com/ujamjar/sattools

ocaml-ctypes

Library for binding to C libraries using pure OCaml

ocaml-elf

ELF parser

ocaml-integers

Various signed and unsigned integer types for OCaml

ocaml-picosat

OCaml bindings to the picosat library