Popular repositories Loading

1. haskogeneous haskogeneous Public

   复刻ed from mmirman/haskogeneous

   A personal web framework in Haskell

   Haskell 2 1

2. chiso-tex chiso-tex Public

   A program using the Curry-Howard isomorphism to check and produce typeset proofs from a proof term

   Haskell 1 1

3. arduino-SAMD11-joystick arduino-SAMD11-joystick Public

   C++ 1

4. OpenBeam-Tantillus OpenBeam-Tantillus Public

   复刻ed from annzabelle/OpenBeam-Tantillus

   OpenSCAD files for a tantillus(3d printer) variant using an OpenBeam frame.

   OpenSCAD 1

5. Wolverine-Robotics-Power-Up Wolverine-Robotics-Power-Up Public

   复刻ed from Bellevue-Wolverine-Robotics/Wolverine-Robotics-Power-Up

   Wolverine Robotics Power Up robot code. No stealing ;-)

   Java 1

6. ql ql Public

   复刻ed from github/codeql

   CodeQL