ujamjar/hardcaml-gaa ujamjar/hardcaml-gaa

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    OCaml
  • Created about 10 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ujamjar/hardcaml-gaa
github

ujamjar

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Guarded Atomic Actions for HardCaml

More Repositories

1

hardcaml

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

hardcaml-zinc

HardCaml implementation of the OCaml ZINC Abstract Machine
OCaml
43
star
3

reedsolomon

Reed-Solomon Error Correction CODEC
OCaml
24
star
4

hardcaml-examples

HardCaml example designs
HTML
18
star
5

ctypes_of_clang

Convert C-code to OCaml Ctypes via Clang
OCaml
18
star
6

hardcaml-riscv

RISC-V instruction set CPUs in HardCaml
Verilog
15
star
7

hardcaml-llvmsim

LLVM JIT Cycle Accurate Simulator for HardCaml
OCaml
13
star
8

hardcaml-affirm

Verification tools for HardCaml
OCaml
10
star
9

sattools

SAT solver interfaces (minisat, picosat, cryptominisat)
OCaml
9
star
10

hardcaml-waveterm

[Deprecated] Digital waveform viewer
HTML
8
star
11

hardcaml-yosys

[DEPRECATED] Import verilog designs into hardcaml using yosys
Shell
8
star
12

hardcaml-vpi

HardCaml Icarus Verilog VPI cosimulation
OCaml
7
star
13

hardcaml-reedsolomon

HardCaml Reed-Solomon Error Correction CODEC
OCaml
6
star
14

oh261

OCaml H.261 Video CODEC
OCaml
6
star
15

riscv

RISC-V tools in OCaml
OCaml
4
star
16

ovideo

OCaml Video CODEC Utility Library
OCaml
4
star
17

hardcaml-mor1kx

OpenRISC mor1kx port to HardCaml
OCaml
4
star
18

ocaml-cryptominisat

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

oplay

YUV video player using tsdl
OCaml
3
star
20

hardcaml-bloop

boolean operations
Jupyter Notebook
3
star
21

board-tools

board-tools
OCaml
3
star
22

hardcaml-tutorial

Tutorial designs for HardCaml
OCaml
3
star
23

hardcaml-game-of-life

OCaml
2
star
24

hardcaml-framework

Framework for building HardCaml core generators as command line apps or webpages
OCaml
1
star
25

hardcaml-meta

META data tools for VHDL/Verilog cores for use with HardCaml
OCaml
1
star