"Optimizing Performance and Energy Efficiency in Massively Parallel Systems" PhD Dissertation repository.
☆29Oct 14, 2022Updated 3 years ago
Alternatives and similar repositories for PhD
Users that are interested in PhD are comparing it to the libraries listed below
Sorting:
- SECD Machine Implementation in x86 Assembly☆24Jun 14, 2014Updated 11 years ago
- RSS and Atom feed parsing☆37Mar 6, 2026Updated 2 weeks ago
- 个人支付系统源码 微信支付 免签约 , C++/PHP/Android☆18Mar 8, 2019Updated 7 years ago
- Why write programs in Common Lisp but tests like Java? Meet CheckL!☆47Mar 16, 2018Updated 8 years ago
- A Common Lisp library for accessing octet-addressed blocks of data☆37Mar 7, 2017Updated 9 years ago
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- Stub code generator for OCaml/C interface☆36Feb 28, 2026Updated 3 weeks ago
- YACC is dead for Common Lisp (based on http://arxiv.org/abs/1010.5023)☆40Apr 1, 2024Updated last year
- Common Lisp distributed computation framework implemented using Swank Client☆47Jan 12, 2026Updated 2 months ago
- Create and manage virtual machines from Common Lisp☆53Jan 27, 2021Updated 5 years ago
- A lightweight library for using immutable datatypes as first class citizens in .Net (as much as the CLR will allow, anyway). Optimized fo…☆39Jun 23, 2022Updated 3 years ago
- A native compiler for 8-bit PIC micro controllers written in Common Lisp.☆45Apr 25, 2015Updated 10 years ago
- Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers☆70Feb 17, 2017Updated 9 years ago
- lcc编译器源码注释工程☆55Aug 18, 2015Updated 10 years ago
- Distributed, asychronous message passing system for Clozure Common Lisp☆66Feb 8, 2018Updated 8 years ago
- OLD REPOSITORY: Please go to:☆82May 27, 2019Updated 6 years ago
- Qi - A Package Manager for Common Lisp☆82Nov 24, 2022Updated 3 years ago
- A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.☆98Jun 26, 2018Updated 7 years ago
- Movitz: a Common Lisp x86 development platform☆85Jul 31, 2011Updated 14 years ago
- An ORM for Common Lisp.☆204Mar 13, 2020Updated 6 years ago
- Mal (Make A Lisp) compiler☆125Mar 7, 2024Updated 2 years ago
- OCaml type-safe query builder with syntax tree extension☆132Dec 23, 2022Updated 3 years ago
- 🐣 A blog engine written and proven in Coq☆183Dec 1, 2019Updated 6 years ago
- sxc is an 'S-Expression C' transpiler for generating C code using macros written in Common Lisp☆216Oct 16, 2023Updated 2 years ago
- A formalization of geometry in Coq based on Tarski's axiom system☆206Nov 17, 2025Updated 4 months ago
- Screamer is an extension of Common Lisp that adds support for nondeterministic programming.☆250Apr 15, 2024Updated last year
- A function definition package for Coq☆236Updated this week
- Super micro framework for Common Lisp☆299Apr 30, 2024Updated last year
- Implementation of the ocaml.org website.☆320Jan 13, 2024Updated 2 years ago
- Writing Emacs plugin in OCaml☆283Jan 15, 2026Updated 2 months ago
- Lisp OS running on bare metal x86-64 hardware (WIP)☆586May 11, 2022Updated 3 years ago
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆571Oct 19, 2018Updated 7 years ago
- Emacs OCaml mode☆391Sep 10, 2025Updated 6 months ago
- Common Lisp HTML5 generator☆407Aug 19, 2025Updated 7 months ago
- Desktop web apps with Common Lisp☆383Oct 13, 2019Updated 6 years ago
- Emacs support library for PDF files.☆1,578Aug 7, 2022Updated 3 years ago
- A portable common lisp development environment☆765Jul 5, 2024Updated last year
- Common Lisp in the 21st Century.☆921May 28, 2021Updated 4 years ago
- This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.☆1,002Updated this week