Pinned Repositories
3000-static
3000.gov.tw
Arduino-in-SKiDL
Arduino in SKiDL
dont_write_tests_demo
Property-based testing of C code using Hypothesis and Cython
Game-of-Life
Game of life in Verilog
learn-you-a-haskell-org
Learn you a Haskell for Great Good in Org mode
nix-poetry-testing
Testing the installability of Python packages using poetry on nix
nix_graphtage
poetry2nix_mysql-connector-python
Testing mysql-connector-python with poetry2nix with flakes
Space-Invaders
Space Invaders in Verilog for the iCE40 H1K
yosys-slang
slang-based frontend for Yosys
RCoeurjoly's Repositories
RCoeurjoly/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
RCoeurjoly/ClockYou
Privacy focused clock app built with MD3
RCoeurjoly/crucible
Crucible is a library for symbolic simulation of imperative programs
RCoeurjoly/edea
edea fork
RCoeurjoly/FutureProofDotfiles
RCoeurjoly/icestorm
Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)
RCoeurjoly/infer
A static analyzer for Java, C, C++, and Objective-C
RCoeurjoly/knox-hsm
Circuits and hardware security modules formally verified with Knox 🔐
RCoeurjoly/lakeroad
FPGA synthesis tool powered by program synthesis
RCoeurjoly/liquidhaskell
Liquid Types For Haskell
RCoeurjoly/LLM2FPGA
RCoeurjoly/makefile2nix
RCoeurjoly/matmulfreellm
Implementation for MatMul-free LM.
RCoeurjoly/mcy
Mutation Cover with Yosys (MCY)
RCoeurjoly/nextpnr
nextpnr portable FPGA place and route tool
RCoeurjoly/nix
Nix, the purely functional package manager
RCoeurjoly/nixpkgs
Nix Packages collection
RCoeurjoly/plurality_spanish
Root repository for ⿻數位 Plurality: The Future of Collaborative Technology and Democracy by E. Glen Weyl, Audrey Tang and the Plurality Community
RCoeurjoly/poetry2nix
Convert poetry projects to nix automagically [maintainer=@adisbladis]
RCoeurjoly/poetry2nix-testing
RCoeurjoly/RCoeurjoly.github.io
My blog
RCoeurjoly/readability-metric
(Beta) Readability metric based on corpus linguistics
RCoeurjoly/replace_fail_script
RCoeurjoly/treereduce
A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
RCoeurjoly/tt06-ACC
RCoeurjoly/tt06-simplez
RCoeurjoly/verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
RCoeurjoly/VHDL-generator
RCoeurjoly/yosys
Yosys Open SYnthesis Suite
RCoeurjoly/zitat
Kindle clipping to org-mode converter