travitch / itanium-abi
An implementation of C++ name mangling for the Itanium ABI
☆12Updated 5 months ago
Alternatives and similar repositories for itanium-abi:
Users that are interested in itanium-abi are comparing it to the libraries listed below
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- A static analysis tool for C.☆26Updated 5 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated last month
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- Haskell RSA Library☆20Updated 3 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- A programming language☆77Updated 11 years ago
- ARM-based operating system - fork of http://github.com/mrd/puppy☆15Updated 9 years ago
- git mirror of language-c darcs repo at http://code.haskell.org/language-c☆11Updated last year
- Jhc: Haskell Compiler☆36Updated 9 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Updated 9 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 7 years ago
- Fast time library☆21Updated 2 months ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Updated 10 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- A library of assemblers and disassemblers derived from LLVM TableGen data☆25Updated 5 months ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 12 years ago
- Contains the system-filepath and system-fileio packages☆9Updated last month
- Abusing the C99 preprocessor for meta-programming☆20Updated 7 years ago
- A DSL for generating GR(1) problems☆11Updated 3 years ago
- A proof assistant.☆12Updated 8 years ago
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 4 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 10 years ago
- Formal semantics of LLVM IR in K☆45Updated 6 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- Gidl: an Interface Description Language☆10Updated 7 years ago
- Provides Word128, Word192 and Word256 for and a way of producing other large words if required.☆9Updated 5 years ago