Sources for PhD thesis. Org-mode file, results, and figures sources.
☆21Jul 25, 2019Updated 6 years ago
Alternatives and similar repositories for phd-thesis
Users that are interested in phd-thesis are comparing it to the libraries listed below
Sorting:
- NixOps deployment configuration library for IOHK devops☆17Aug 29, 2025Updated 6 months ago
- BinderHub example using Nix☆19Nov 20, 2018Updated 7 years ago
- Build NixOS ISO for my shiny new rMBP☆14May 5, 2018Updated 7 years ago
- ☆14Sep 8, 2017Updated 8 years ago
- Clojure API for RDF and SPARQL - provides consistent access to APIs including Jena and Sesame☆55Oct 12, 2020Updated 5 years ago
- Drive the Nix build system using the Dhall configuration language☆26Nov 17, 2018Updated 7 years ago
- A LaTeX article class for Org-mode☆41Feb 22, 2018Updated 8 years ago
- Johns customizations to maximize emacs☆191Jan 11, 2018Updated 8 years ago
- org-mode + latex + docker = pdf☆35Jun 28, 2020Updated 5 years ago
- The ABS modeling language and surrounding tools☆37Feb 24, 2026Updated last week
- Nix to Docker buildpack☆39Nov 11, 2015Updated 10 years ago
- Alistair's fork of the Linux kernel source tree. Including sources for the mainline reMarkable 2 kernel development, sunxi patches and ot…☆11Feb 16, 2026Updated 2 weeks ago
- A responsive & browser compatible video player☆53Apr 18, 2017Updated 8 years ago
- socat(1) fork with AF_VSOCK support. vsock support is now available with mainline socat 1.7.4 available at http://www.dest-unreach.…☆10Jan 31, 2020Updated 6 years ago
- ☆10Nov 28, 2021Updated 4 years ago
- A lightweight alternative to streaming services like twitch.tv and panopto to host your live stream to an audience.☆10Dec 9, 2022Updated 3 years ago
- Experimental Nix implementation of Android `soong` modules☆10Oct 11, 2023Updated 2 years ago
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆14Updated this week
- Build dependencies and tools used across @typedb repositories (not for public)☆11Updated this week
- Bundle dynamic Linux executables with their libraries to make them as portable as static executables☆10Jun 10, 2021Updated 4 years ago
- A gazelle extension to produce Haskell rules from cabal files☆14Feb 26, 2026Updated last week
- ☆11Dec 27, 2023Updated 2 years ago
- Support for vue components linting with syntastic and eslint☆10Feb 23, 2016Updated 10 years ago
- A utility to manage HTTP requests from APL☆12Feb 11, 2026Updated 3 weeks ago
- ☆10Mar 21, 2023Updated 2 years ago
- ☆10Apr 12, 2024Updated last year
- move messages from one maildir to another☆12Sep 1, 2024Updated last year
- TUS protocol for resumable file uploads via HTTP☆14Feb 16, 2026Updated 2 weeks ago
- Tensorflow Operation Wrapper of cppjieba (Chinese Word Segamentation)☆10Oct 21, 2019Updated 6 years ago
- Transformer Implementation for NMT using PyTorch Lightning (Korean to English)☆10Oct 19, 2020Updated 5 years ago
- With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …☆10Feb 28, 2019Updated 7 years ago
- a simple example project using noir, overtone, and my cljs libraries☆24Nov 20, 2012Updated 13 years ago
- A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.☆54Apr 29, 2014Updated 11 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- ☆15Feb 10, 2015Updated 11 years ago
- ClojureScript functional reactive programming library.☆49Jun 7, 2013Updated 12 years ago
- Tracking babel development☆23Sep 1, 2011Updated 14 years ago
- Sample code in MMIX assembly language☆12Jan 25, 2022Updated 4 years ago
- A Solidity spec suite to test parsers for language compliance.☆11Dec 31, 2017Updated 8 years ago