dterei / Research-PapersView external linksLinks
Collection of various research papers I find interesting
☆85Oct 6, 2015Updated 10 years ago
Alternatives and similar repositories for Research-Papers
Users that are interested in Research-Papers are comparing it to the libraries listed below
Sorting:
- 3d-printed robot with arduino, oled and bluetooth.☆23Nov 26, 2014Updated 11 years ago
- This fork family includes the 6502 upgraded to 32-bit address bus, in Verilog HDL☆20Feb 23, 2020Updated 5 years ago
- The Computer Science Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about computer science over the…☆14Feb 22, 2020Updated 5 years ago
- The Mathematics Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about mathematics over the years.☆16Nov 28, 2019Updated 6 years ago
- Benchmark various data structures / algorithms for string searching.☆15Jul 1, 2015Updated 10 years ago
- RPiPW = resources + notes + code samples for a workshop introducing the Raspberry Pi as a beginner's programming environment☆20Feb 23, 2025Updated 11 months ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆47Mar 29, 2012Updated 13 years ago
- Scheme Interpreter in Rust☆29Mar 24, 2018Updated 7 years ago
- A toy tracing JIT compiled programming language☆31Nov 11, 2018Updated 7 years ago
- FunTAL: mixing a functional language with assembly.☆41Jun 5, 2017Updated 8 years ago
- ☆13Sep 14, 2021Updated 4 years ago
- ICFP 2019 preprints/papers☆44Jul 31, 2019Updated 6 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Jul 8, 2023Updated 2 years ago
- My Own Linear Lisp☆42Aug 24, 2018Updated 7 years ago
- Maze generation & solving with Python☆10Oct 2, 2021Updated 4 years ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated 11 months ago
- An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Ar…☆10Jan 30, 2018Updated 8 years ago
- Auction Theory Toolbox – Computer Verified Auctions☆14Jul 12, 2016Updated 9 years ago
- Information geometry and its extension information topology☆11Dec 2, 2017Updated 8 years ago
- Gandr is a cross-platform bootloader project, intended to fill in the gap of a utopic bootloader.☆20Aug 13, 2015Updated 10 years ago
- Tutorial on how to create a twitter bot that replied to mentions☆10Sep 16, 2023Updated 2 years ago
- Adelie: GNU/Linux Terminal Assistant☆10Aug 10, 2021Updated 4 years ago
- ☆15Jan 28, 2013Updated 13 years ago
- Cointop colorschemes☆13Sep 7, 2021Updated 4 years ago
- A toy browser written in C++.☆10Jan 9, 2021Updated 5 years ago
- Capstone disassembly/disassembler framework: Core (Arm, Arm64, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, O…☆11Jul 3, 2018Updated 7 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- Provide a reference implementation for the TTM programming language.☆10Oct 5, 2014Updated 11 years ago
- Port of Brian Bennet's NES Emulator for the second generation Panologic thin client☆13Apr 21, 2022Updated 3 years ago
- Data and code for the experiments in: "German in Flux: Detecting Metaphoric Change via Word Entropy". Dominik Schlechtweg, Stefanie Eckma…☆10Aug 26, 2019Updated 6 years ago
- A toy http server written in C using libdill coroutines. Will probably get you owned if you run in prod.☆11May 16, 2017Updated 8 years ago
- Dead simple datetime and timspan for Clojure☆49Dec 10, 2015Updated 10 years ago
- A collection of STM32F103 sample projects using the OpenSTM32 IDE☆12Mar 26, 2018Updated 7 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 6 months ago
- Download, parse, and filter data from Court Listener, part of the FreeLaw projects. Data-ready for The-Pile.☆15Jun 3, 2023Updated 2 years ago
- Dumb downloader that scrapes the web☆11Sep 3, 2024Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37May 30, 2022Updated 3 years ago