corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0872a-c4a1-705f-83fb-933e2884c8c2

Programming FPGAs using OCaml

anil.recoil.org · published 7 February 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at anil.recoil.org Wayback capture
1blogs citing
First cited
21 Jul 2025
Most recent
21 Jul 2025
Rank this month
not ranked
Links from this post
61
Words captured
1,263

Cited by

Blog
In the post
Date
clef-lang.com
Hardware Lessons from LISP Read at the source ↗
21 Jul 2025

Links from this post

Link
Host
https://en.wikipedia.org/wiki/Field-programmable_gate_array
en.wikipedia.org
https://mynameismwd.org
mynameismwd.org
https://github.com/quantifyearth/yirgacheffe
github.com
https://github.com/omarathon
github.com
Verilog is weird Read at the source ↗
danluu.com
https://kcsrk.info
kcsrk.info
https://www.ujamjar.com
ujamjar.com
https://www.ujamjar.com/presentations/orconf2015.html
ujamjar.com
https://janestreet.com
janestreet.com
https://github.com/janestreet/hardcaml
github.com
https://www.youtube.com/watch?v=GJX5VbKvh90
youtube.com
https://arxiv.org/pdf/2312.15035
arxiv.org
https://opam.ocaml.org
opam.ocaml.org
https://github.com/janestreet/hardcaml_waveterm
github.com
https://dev.realworldocaml.org/testing.html
dev.realworldocaml.org
Ghostty Read at the source ↗
ghostty.org
https://github.com/janestreet/hardcaml_c
github.com
https://github.com/janestreet/hardcaml_verilator
github.com
https://www.veripool.org/verilator/
veripool.org
https://github.com/janestreet/hardcaml_circuits
github.com
https://github.com/janestreet/hardcaml_circuits/blob/master/src/sorting_network.mli
github.com
https://dev.realworldocaml.org/functors.html
dev.realworldocaml.org
https://github.com/janestreet/hardcaml_circuits/blob/master/src/sorting_network.ml
github.com
https://www.cl.cam.ac.uk/teaching/2324/FoundsCS/slides/FoCS-202324-5.pdf
cl.cam.ac.uk
https://www.allaboutcircuits.com/technical-articles/an-introduction-to-the-cordic-algorithm/
allaboutcircuits.com
https://github.com/janestreet/hardcaml_circuits/blob/master/src/cordic_reference.mli
github.com
https://dev.realworldocaml.org/variants.html
dev.realworldocaml.org
https://github.com/janestreet/hardcaml_circuits/blob/master/src/cordic_reference.ml
github.com
https://zprize.hardcaml.com/
zprize.hardcaml.com
https://zprize.hardcaml.com/msm-overview.html
zprize.hardcaml.com
https://neuromancer.sk/std/bls/BLS12-377
neuromancer.sk
https://en.wikipedia.org/wiki/Elliptic_curve
en.wikipedia.org
https://dl.acm.org/doi/10.1145/3626202.3637577
dl.acm.org
https://fpga-development-on-ec2.workshop.aws/en/4-f1-application-development-flow/introduction-to-f1-development-environment.html
fpga-development-on-ec2.workshop.aws
https://zprize.hardcaml.com/ntt-overview.html
zprize.hardcaml.com
https://en.wikipedia.org/wiki/Finite_field
en.wikipedia.org
https://zprize.hardcaml.com/apps/ntt/ntt-core-with-rams-app
zprize.hardcaml.com
https://www.amd.com/en/products/accelerators/alveo.html
amd.com
https://github.com/hardcamls/video-coding/tree/main/jpeg
github.com
https://stackoverflow.com/questions/26523504/what-is-the-baseline-architecture-of-jpeg
stackoverflow.com
https://github.com/geocaml/ocaml-tiff
github.com
https://github.com/askvortsov1/hardcaml-mips
github.com
https://www.psu.edu/
psu.edu
https://ceramichacker.com/blog/34-1412-hardcaml-mips-and-io
ceramichacker.com
https://toao.com
toao.com
https://amok.recoil.org/@avsm/113962272067656593
amok.recoil.org
https://github.com/edwintorok
github.com
https://amok.recoil.org/@edwintorok@discuss.systems/113962395735439060
amok.recoil.org
https://tinytapeout.com/runs/ttihp0p2/tt_um_edwintorok
tinytapeout.com
https://github.com/edwintorok/roundingerror-ihp/blob/main/src/generator/vga.ml
github.com
https://www.youtube.com/watch?v=K9mu3getxhU&t=42s
youtube.com
https://tinytapeout.com/competitions/demoscene-tt08-entries/
tinytapeout.com
https://albert.rierol.net/
albert.rierol.net
https://www.science.org/doi/full/10.1126/science.add9330
science.org
https://amok.recoil.org/@avsm/113962390567495016
amok.recoil.org
https://hackaday.io/project/27550-the-hobbyists-guide-to-fpgas
hackaday.io
https://ujamjar.com
ujamjar.com
https://www.cl.cam.ac.uk/~awm22/
cl.cam.ac.uk
https://doi.org/10.59350/qms3q-ymn65
doi.org
https://doi.org/10.1109/FCCM.2011.35
doi.org
https://doi.org/10.1145/3626202.3637577
doi.org