Curated Computer Science and Programming Resource Guide
☆43Sep 11, 2019Updated 6 years ago
Alternatives and similar repositories for cs-resources
Users that are interested in cs-resources are comparing it to the libraries listed below
Sorting:
- Robotics Learning Note☆11Jun 22, 2018Updated 7 years ago
- Clojure(Script) Example CMS☆11Jan 24, 2015Updated 11 years ago
- A CS concepts study guide☆14Jul 6, 2016Updated 9 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Useful resources for the Frege programming language☆31Sep 11, 2021Updated 4 years ago
- Common Lisp Mustache Template Renderer☆50Sep 26, 2024Updated last year
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- Golang Web Toolkit☆16Nov 5, 2011Updated 14 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- A CMS in Haskell using Yesod: performant, developer friendly & type safe.☆30Mar 2, 2017Updated 8 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Use off-side syntax (indent instead of braces, like in Python) to write Rust!☆10Jun 26, 2019Updated 6 years ago
- A curated list of awesome open source technology, article, journal for antipattern and codesmells☆13Jul 2, 2024Updated last year
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago
- A versatile, easily configurable vocoder software in MATLAB, for research purposes☆13Apr 9, 2021Updated 4 years ago
- Metasploit Framework☆11Apr 18, 2019Updated 6 years ago
- A catalog of interesting clojure.spec repos and gists☆10Apr 4, 2017Updated 8 years ago
- ☆10Jun 14, 2020Updated 5 years ago
- Yes, really!☆11May 8, 2015Updated 10 years ago
- An online playground for Racket.☆13May 11, 2021Updated 4 years ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Style files for working with categorial grammars in LaTeX.☆13Oct 9, 2014Updated 11 years ago
- Unsupervised Grammar Induction with Combinatory Categorial Grammars☆10Jan 28, 2021Updated 5 years ago
- all that favours real-time democracy☆15Aug 7, 2022Updated 3 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- Native Android application development with haxe☆34Oct 16, 2016Updated 9 years ago
- ⛔️ DEPRECATED - Live App SDK☆12Apr 15, 2024Updated last year
- A simple Lisp implementation written in TypeScript(earlier version)☆10Jul 11, 2017Updated 8 years ago
- A customized build of CKEditor, a rich text editor.☆10Jan 24, 2024Updated 2 years ago
- 2D WebGL Graphics Library☆12Dec 15, 2020Updated 5 years ago
- An awesome list of sites/books about green IT. Because ecology matters !!☆11Nov 16, 2020Updated 5 years ago
- Package damsel provides html outlining via css-selectors and common template functionality.☆24Apr 7, 2016Updated 9 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Empower developers to do operations.☆14Mar 28, 2018Updated 7 years ago
- A bare bones lisp parser & interpreter☆11Jan 26, 2021Updated 5 years ago