| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| hneemann/Digital | JavaVerilogAssembly | 3.3k | +13 | 359 | 0 |
| DrWaleedAYousef/Teaching | MathematicaVerilogPython | 932 | +6 | 314 | +1 |
| flix/flix | ScalaOther | 1.9k | +5 | 129 | 0 |
| steshaw/plt | CSSHTMLJavaScript | 5.1k | +5 | 333 | 0 |
| theonlyNischal/Ultimate-Notes-Books-Resources-for-NCIT | HTMLJavaRich Text Format | 208 | +1 | 233 | -1 |
| alexanyernas/Ejercicios-Practicos | 402 | 0 | 104 | 0 | |
| cormiertyshawn895/Retroactive | SwiftObjective-CC | 1.8k | 0 | 113 | 0 |
| osohq/oso | RustPythonTypeScript | 3.2k | 0 | 163 | 0 |
| logisim-evolution/logisim-evolution | JavaHTMLCSS | 3.7k | 0 | 506 | 0 |
| AthenaFoundation/athena | Standard MLHTMLEmacs Lisp | 55 | 0 | 3 | 0 |
| microsoft/PowerPlatformConnectors | C#Python | 783 | 0 | 1.1k | 0 |
| vaticle/typeql | JavaRustStarlark | 199 | 0 | 43 | 0 |
| magmide/magmide | CoqRustOther | 776 | 0 | 12 | 0 |
| composewell/streamly | HaskellNixShell | 825 | 0 | 61 | 0 |
| eimtechnology/STEPFPGA-MXO2Core | Verilog | 22 | 0 | 4 | 0 |
| LogicalAtomist/principia | TeXCoq | 196 | 0 | 5 | 0 |
| IBM/LNN | PythonJupyter NotebookOther | 188 | 0 | 405 | 0 |
| acl2/acl2 | Common LispNewLispVerilog | 315 | 0 | 100 | 0 |
| tomcl/issie | F#CSSSystemVerilog | 53 | 0 | 71 | 0 |
| luc-tielen/eclair-lang | HaskellOther | 178 | 0 | 11 | 0 |
| edson-acordi/4bit-microcomputer | PythonCC++ | 48 | 0 | 2 | 0 |
| ultraembedded/openlogicbit | VerilogSystemVerilogOther | 81 | 0 | 8 | 0 |
| imihajlow/ccpu | AssemblyPythonVerilog | 59 | 0 | 2 | 0 |
| mouredev/retos-programacion-2023 | PythonJavaScriptJava | 3.6k | 0 | 2.4k | 0 |
| SuperDisk/tar.pl | Prolog | 249 | 0 | 6 | 0 |