• Stars
    star
    24
  • Rank 986,245 (Top 20 %)
  • Language
    OCaml
  • License
    MIT License
  • Created over 10 years ago
  • Updated about 6 years ago

Reviews

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

Repository Details

Reed-Solomon Error Correction CODEC

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

hardcaml-examples

HardCaml example designs
HTML
18
star
4

ctypes_of_clang

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

hardcaml-riscv

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

hardcaml-llvmsim

LLVM JIT Cycle Accurate Simulator for HardCaml
OCaml
13
star
7

hardcaml-affirm

Verification tools for HardCaml
OCaml
10
star
8

sattools

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

hardcaml-waveterm

[Deprecated] Digital waveform viewer
HTML
8
star
10

hardcaml-yosys

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

hardcaml-vpi

HardCaml Icarus Verilog VPI cosimulation
OCaml
7
star
12

hardcaml-reedsolomon

HardCaml Reed-Solomon Error Correction CODEC
OCaml
6
star
13

oh261

OCaml H.261 Video CODEC
OCaml
6
star
14

riscv

RISC-V tools in OCaml
OCaml
4
star
15

ovideo

OCaml Video CODEC Utility Library
OCaml
4
star
16

hardcaml-mor1kx

OpenRISC mor1kx port to HardCaml
OCaml
4
star
17

hardcaml-gaa

Guarded Atomic Actions for 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