Lists (2)
Stars
Byte-level byte pair encoding (BPE) in Haskell
Microsoft Catapult FPGA, Catapult V3, PCIE Test Demo, On-board usb Blaster and OpenCL BSP
Universal utility for programming FPGA
Haskell to VHDL/Verilog/SystemVerilog compiler
An open collection of methodologies to help with successful training of large language models.
Modeling, training, eval, and inference code for OLMo
PICARD - Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models. PICARD is a ServiceNow Research project that was started at Element AI.
code-base for my UvA MSc AI thesis on typed neural program synthesis
Xeon Phi MPSS modules update for 20.04 kernel 5.12
zhuberty / IObjects
Forked from Haskell-Things/IObjectsImplicitcad Object Repository. Integration test for HSlice and ImplicitCAD
Implicitcad Object Repository. Integration test for HSlice and ImplicitCAD
A continuation of Anselm Jonal Scholl's library for handling floating point <-> Integral conversion, and Units of Least Precision.
Official upstream development repository for Cabal and cabal-install
Haskell libraries for floating point numbers (fp-ieee and rounded-hw)
GHC plugin that improves Haskell code's numerical stability
A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D geometry; 2D gcode generation...
Like fork() but teleports the forked process to a different computer!
A Haskell re-implementation of the Nix expression language
We're out to raise awareness and put CodeCAD on the map. The success of CadHub can be measured by the amount it promotes the use of CodeCAD within the mechanical/manufacturing industry and the stre…