UCMAndesLab / CSE160-Project-Skeleton-CodeLinks
☆16Updated 7 years ago
Alternatives and similar repositories for CSE160-Project-Skeleton-Code
Users that are interested in CSE160-Project-Skeleton-Code are comparing it to the libraries listed below
Sorting:
- ☆10Updated 7 years ago
- Share☆13Updated 7 years ago
- ☆12Updated 10 years ago
- A YottaDB and Caché compatible HTTP server☆29Updated 3 years ago
- A mirror of the Inform 7 extensions website, but with a history of changes!☆15Updated 11 years ago
- Natron build scripts for various distros☆13Updated 10 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Updated 8 years ago
- ☆12Updated 10 years ago
- A Mercury CSV library.☆13Updated 2 weeks ago
- A package manager for the Mercury logic programming language.☆18Updated 6 years ago
- Automated Measurement and Analysis of Open-Source Software☆14Updated 8 years ago
- a redis client library for io☆22Updated 15 years ago
- ☆52Updated 8 years ago
- a little web for Io☆36Updated 16 years ago
- Arrayfire bindings for J language☆10Updated 8 years ago
- The winxed programming language☆30Updated 9 years ago
- Micro-blogging engine☆58Updated 12 years ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Updated 7 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 11 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Updated 8 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 9 months ago
- Lua implemented in Mercury☆15Updated last year
- MUD/Telnet client written in Pike☆18Updated 2 months ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 3 years ago
- ☆214Updated 6 years ago
- Opa port of the TodoMVC app☆24Updated 13 years ago
- This is QNial - Array Language from Nial systems. It was published under Artistic License, but seems to have disappeared after website re…☆12Updated 9 years ago
- A (simple) parallel computing framework for Lua☆93Updated 9 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆17Updated 10 years ago
- Step-by-step game written in Free Oberon☆12Updated 7 years ago