gablin / ghb-thesisView external linksLinks
Source code of my doctoral dissertation
☆35May 9, 2018Updated 7 years ago
Alternatives and similar repositories for ghb-thesis
Users that are interested in ghb-thesis are comparing it to the libraries listed below
Sorting:
- Source code for some of the stuff I made during my PhD☆53Oct 26, 2018Updated 7 years ago
- My personal LaTeX class for taking notes.☆10Aug 27, 2022Updated 3 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Disassembler for X86 & AMD64 machine code☆15May 26, 2015Updated 10 years ago
- Formal specification of the Haskell Language Report☆30Jan 25, 2026Updated 2 weeks ago
- Um exemplo de organização de aulas com slides em LaTeX Beamer em diretórios☆16May 27, 2025Updated 8 months ago
- ☆29Jan 26, 2017Updated 9 years ago
- Visualization of multiple tandem mass spectrometry data☆10Jun 15, 2020Updated 5 years ago
- Thesis☆38Apr 4, 2018Updated 7 years ago
- Analysis of smFISH data☆12Aug 27, 2018Updated 7 years ago
- CORNAS is a fast method for reliable DEG calls in unreplicated conditions.☆13Jul 14, 2019Updated 6 years ago
- R语言代谢组学数据分析☆12Feb 29, 2016Updated 9 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 3 months ago
- ☆10Nov 26, 2020Updated 5 years ago
- LaTeX 入门讲座资料☆10Sep 29, 2019Updated 6 years ago
- Beamer presentation and poster template for New York University / NYU Abu Dhabi / NYU Shanghai☆40May 10, 2019Updated 6 years ago
- Common Lisp front-end to CL-PDF and Vecto☆12Apr 30, 2022Updated 3 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- The fastest abstract rate limiter.☆11Nov 10, 2022Updated 3 years ago
- React tutorial app implemented in ClojureScript☆10Jan 6, 2023Updated 3 years ago
- Command line client for figshare☆19Jul 3, 2014Updated 11 years ago
- Tesla API for Haskell☆15Dec 15, 2025Updated last month
- PostgreSQL SQL syntax utilities☆16Jan 5, 2026Updated last month
- Algalon the Observer☆11Mar 3, 2015Updated 10 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- Interesting papers☆11Jun 22, 2024Updated last year
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Nov 5, 2023Updated 2 years ago
- Interact with SQL databases in Go☆14Feb 3, 2026Updated last week
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- ☆12Nov 26, 2025Updated 2 months ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- LaTeX 讲座资料☆12Apr 7, 2022Updated 3 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 6 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 4 months ago