This is stars and forks stats for /chessai/theseus repository. As of 03 May, 2024 this repository has 111 stars and 6 forks.
Credit: Credit for design and original implementation of Theseus goes to Roshan P. James and Amr Sabry of Indiana University. This is my fork of their implementation, which I intend to keep as a pet project. The original project can be found here. Theseus, the programming language. Why create another programming language in this time and age? And why make such an obscure finicky one wherein it's not obvious how one can write a web server or an iphone app? Theseus exists due to a certain philosophical...
Credit: Credit for design and original implementation of Theseus goes to Roshan P. James and Amr Sabry of Indiana University. This is my fork of their implementation, which I intend to keep as a pet project. The original project can be found here. Theseus, the programming language. Why create another programming language in this time and age? And why make such an obscure finicky one wherein it's not obvious how one can write a web server or an iphone app? Theseus exists due to a certain philosophical...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| gvolpe/nmd | NixXSLTCSS | 14 | 0 | 0 | 0 |
| GiorgosXou/TUIFIManager | PythonNix | 495 | +7 | 11 | 0 |
| querycert/qcert | CoqJavaOCaml | 52 | 0 | 9 | 0 |
| DevInsideYou/scala-seed | Nix | 29 | 0 | 8 | 0 |
| entropia/tip-toi-reveng | HaskellCPerl | 598 | 0 | 123 | 0 |
| haskellfoundation/tech-proposals | Haskell | 68 | 0 | 28 | 0 |
| madgen/exalog | Haskell | 16 | 0 | 2 | 0 |
| srid/nixos-config | NixEmacs LispHaskell | 269 | 0 | 16 | 0 |
| mkrauskopf/dotfiles | Vim ScriptShellHaskell | 1 | 0 | 0 | 0 |
| Gabriella439/nix-diff | HaskellNix | 267 | 0 | 16 | 0 |