• Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    OCaml
  • Created about 10 years ago
  • Updated about 10 years ago

Reviews

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

Repository Details

OCaml Video CODEC Utility Library

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

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