Similar repositories to ComputationWithBoundedResources/tct-trs:

• gibiansky/IHaskell github similar
• ComputationWithBoundedResources/tct-trs github similar
• klntsky/haskell-holes-th github similar
• metrix-ai/potoki github similar
• mathandley/RTick github similar
• yihming/aihaskell github similar
• dwarfmaster/commutative-diagrams github similar
• ishmandoo/cube_puzzle github similar
• AndrasKovacs/singleton-nats github similar
• oisdk/semiring-num github similar
• mvr/at github similar
• amosr/limp-cbc github similar
• forsyde/forsyde-shallow github similar
• ghorn/Plot-ho-matic github similar
• sadraddini/pypolycontain github similar
• ezyang/eff github similar
• ekmett/nbe-in-java-19 github similar
• phadej/staged github similar
• amosr/limp github similar
• thoughtpolice/rv32-sail github similar
• vmchale/hs-ats github similar
• mitchellwrosen/haskell-papers github similar
• philzook58/fib-anyon github similar
• VictorCMiraldo/generics-mrsop github similar
• expipiplus1/exact-real github similar
• leftaroundabout/linearmap-family github similar
• phadej/idioms-plugins github similar
• pigworker/potato github similar
• LightAndLight/parametricity-proofs github similar
• ghorn/dynobud github similar
• RyanGlScott/eliminators github similar
• mfherbst/juliacon_dft_workshop github similar
• alx741/graphite github similar
• bollu/discrete-differential-geometry github similar
• leftaroundabout/manifolds github similar
• Feldspar/raw-feldspar github similar
• alhassy/AgdaCheatSheet github similar
• swaywm/hsroots github similar
• albertoruiz/hTensor github similar
• evincarofautumn/Toody github similar