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:
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- Formal specification of the Haskell Language Report☆32Updated this week
- Disassembler for X86 & AMD64 machine code☆15May 26, 2015Updated 10 years ago
- Visualization of multiple tandem mass spectrometry data☆10Jun 15, 2020Updated 5 years ago
- Thesis☆38Apr 4, 2018Updated 7 years ago
- CORNAS is a fast method for reliable DEG calls in unreplicated conditions.☆13Jul 14, 2019Updated 6 years ago
- Analysis of smFISH data☆12Aug 27, 2018Updated 7 years ago
- The processingjs.org website☆29Jun 5, 2020Updated 5 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
- SIGPLAN website☆13Updated this week
- R语言代谢组学数据分析☆12Feb 29, 2016Updated 10 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- ☆11May 7, 2023Updated 2 years ago
- A rust-lang client library for Twilio based on hyper☆12Dec 3, 2017Updated 8 years ago
- An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.☆11May 5, 2024Updated last year
- Command line client for figshare☆19Jul 3, 2014Updated 11 years ago
- POOL (Peptide Optimization with Optimal Learning): code for "Discovering de novo peptide substrates for enzymes using machine learning"☆10Oct 18, 2018Updated 7 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- ☆12Nov 26, 2025Updated 3 months ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- Administrative repo for the Lathe collection of general-purpose libraries.☆14Jan 7, 2022Updated 4 years ago
- Tesla API for Haskell☆15Dec 15, 2025Updated 2 months ago
- Resources from my class on computer architecture design☆10Apr 25, 2018Updated 7 years ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Haskell raw bindings to Oracle ODPI-C Library☆19Aug 14, 2022Updated 3 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated 10 months ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 8 years ago
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Interesting papers☆11Jun 22, 2024Updated last year
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- A Simple Mesos-DNS Client☆10Jun 20, 2015Updated 10 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 9 years ago