adamschoenemann / dmuacView external linksLinks
Discrete Mathematics Using a Computer exercises/notes
☆21Jan 12, 2016Updated 10 years ago
Alternatives and similar repositories for dmuac
Users that are interested in dmuac are comparing it to the libraries listed below
Sorting:
- Computational Social Choice☆20Jan 14, 2018Updated 8 years ago
- minimal miniKanren implementation in Julia☆23May 23, 2017Updated 8 years ago
- tag parts of speech with nlp libraries for use in text editors☆27Jul 28, 2017Updated 8 years ago
- Enhanced Tk Console for all Tk platforms.☆31Dec 21, 2022Updated 3 years ago
- ☆44Apr 30, 2025Updated 9 months ago
- A 2D physics engine for Ada☆16Feb 19, 2019Updated 6 years ago
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- A Rust implementation for the board game Catan☆12May 6, 2020Updated 5 years ago
- Collection of How-to documents for Ada☆36Jun 1, 2021Updated 4 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Git for Philosophers☆35Aug 1, 2023Updated 2 years ago
- Complete ASIC Design of UART Interface with Baud Rate Selection :- RTL to GDS2☆12Sep 3, 2019Updated 6 years ago
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- addon for google chrome to facilitate the use of utf characters☆11Apr 11, 2025Updated 10 months ago
- ☆12Jan 25, 2022Updated 4 years ago
- Scripts to build openrisc toolchain and bootable filesystem☆12Sep 15, 2014Updated 11 years ago
- "Be(Come) A Mentor! Help Others Succeed!" by @OssAnna16☆10Mar 20, 2020Updated 5 years ago
- A command-line application to view images from the terminal written in Rust.☆11Nov 21, 2023Updated 2 years ago
- ☆11May 14, 2023Updated 2 years ago
- Browse and edit files from OneDrive in VS Code and on vscode.dev☆16Jun 4, 2024Updated last year
- Source code of Mathematical Surprises (open access)☆14Mar 24, 2025Updated 10 months ago
- FPGA Guide☆14Jan 2, 2022Updated 4 years ago
- The framework for next generation data center.☆29Aug 24, 2025Updated 5 months ago
- Porting gedit to the terminal, a branch from Sanos simple text editor.☆16Feb 6, 2013Updated 13 years ago
- Julia Hands-on at ERAD-NE 2015☆10Apr 17, 2016Updated 9 years ago
- CVS import of qemacs for some experiments☆11Oct 2, 2022Updated 3 years ago
- A terminal-based renderer for OpenGL shaders. Like Shadertoy, but in the terminal.☆12Sep 24, 2023Updated 2 years ago
- How to embed emoji in any website☆12Nov 11, 2014Updated 11 years ago
- A Polymer custom element that allows selection of multiple suggestions☆16Jul 19, 2014Updated 11 years ago
- Transclusion of files in emacs☆15Jan 27, 2020Updated 6 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- IPython-based debugging and exploring - a collection of auxiliary functions☆16Sep 19, 2025Updated 4 months ago
- Networking stack for node and browser inspired by libp2p p2p tunnels.☆10Oct 18, 2021Updated 4 years ago
- Draw svg quick-responsively with a mouse or pen, Designed for note-taking, formulas drafting. ! Change to tldraw as the whiteboard engine…☆38Jun 5, 2022Updated 3 years ago
- raspberry ada library☆11Jul 7, 2019Updated 6 years ago
- Python package and CLI tool for social choice functions☆14Jun 20, 2021Updated 4 years ago
- A re-write of clojure-py using ClojureScript + Python ASTs☆26Jan 10, 2013Updated 13 years ago
- Library for writing text-based user interfaces☆12Dec 22, 2017Updated 8 years ago