alvarezleonardo / Material_DESLinks
Material extra
☆14Updated 8 years ago
Alternatives and similar repositories for Material_DES
Users that are interested in Material_DES are comparing it to the libraries listed below
Sorting:
- Pep8 example codes for UQAM-INF2170☆12Updated 3 years ago
- Simulating Knowledge Dynamics in Innovation Networks☆15Updated 2 years ago
- ☆12Updated 10 years ago
- ☆16Updated 7 years ago
- Warhammer Fantasy☆33Updated last year
- Shimmer2/2R TinyOS firmware☆14Updated 10 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Updated 7 years ago
- A package manager for the Mercury logic programming language.☆18Updated 5 years ago
- ☆12Updated 10 years ago
- Tcl on parrot☆20Updated 13 years ago
- Micro-blogging engine☆58Updated 12 years ago
- Scrobbles or sends meta-data of streamed music on Bluesound/BluOS, Yamaha MusicCast and/or Denon HEOS players to Last FM, ListenBrainz, L…☆14Updated 5 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated 8 months ago
- This is a port of flixel to the Monkey language☆34Updated 9 years ago
- A Mercury CSV library.☆13Updated last week
- a basic, portable UI library for Monkey.☆11Updated 8 years ago
- simulations in J☆13Updated 8 years ago
- A wiki engine written in Perl 6☆51Updated 8 years ago
- (ARCHIVE) nqp-rx☆37Updated 11 years ago
- Implementation of Voronoi with jq☆11Updated 4 years ago
- An open source CalDAV implementation for .NET and Mono, built on Data Abstract.☆12Updated 13 years ago
- Opa port of the TodoMVC app☆24Updated 13 years ago
- ☆10Updated 7 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 11 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Updated 3 years ago
- A simple json pack/unpack for Io☆20Updated 17 years ago
- INOFFICIAL mirror of the official SVN repository☆17Updated 12 years ago
- Package manager for Io.☆21Updated 8 years ago
- Isabelle/HOL proofs about the eChronos RTOS☆11Updated 8 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Updated 4 years ago