syntheorem

Pinned Repositories

AES.d
An implementation of AES using D and the AES-NI x86 extensions.
Language:D0 1 00
andersen
Andersen's inclusion-based pointer analysis re-implementation in LLVM
Language:C++0 1 00
approx
Approximate floating point equality comparisons and assertions
Language:Rust0 1 00
BukkitJetpack
Jetpack plugin for Minecraft servers using Bukkit.
Language:Java0 1 00
cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell0 1 00
color-rs
A library that provides types and conversions for working with various color formats.
Language:Rust0 1 00
dependent-map
Dependently-typed finite maps (partial dependent products)
Language:Haskell0 1 00
dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
Language:Haskell0 1 00
glium
Safe OpenGL wrapper for the Rust language.
Language:Rust0 1 00
thexa
Template Haskell lEXical Analyzer
Language:Haskell5 1 00

syntheorem's Repositories

syntheorem/thexa
Template Haskell lEXical Analyzer
Language:Haskell5 1 00
syntheorem/AES.d
An implementation of AES using D and the AES-NI x86 extensions.
Language:D0 1 00
syntheorem/andersen
Andersen's inclusion-based pointer analysis re-implementation in LLVM
Language:C++0 1 00
syntheorem/approx
Approximate floating point equality comparisons and assertions
Language:Rust0 1 00
syntheorem/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell0 1 00
syntheorem/color-rs
A library that provides types and conversions for working with various color formats.
Language:Rust0 1 00
syntheorem/dependent-map
Dependently-typed finite maps (partial dependent products)
Language:Haskell0 1 00
syntheorem/dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
Language:Haskell0 1 00
syntheorem/glium
Safe OpenGL wrapper for the Rust language.
Language:Rust0 1 00
syntheorem/homebrew-ghcbin
Homebrew formulae to install latest GHC binaries
Language:Ruby1 0
syntheorem/llvm-hs
Haskell bindings for LLVM
syntheorem/llvm-hs-kaleidoscope
Kaleidoscope Tutorial using llvm-hs
syntheorem/llvm-hs-typed
Type Safe LLVM IR ( Experimental )
Language:Haskell0 0
syntheorem/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
0 0
syntheorem/LSP
Language Server Protocol support for Sublime Text 3
syntheorem/monoidal-containers
Maps using values' monoidal structure during merging
Language:Haskell0 0
syntheorem/num
A collection of numeric types and traits for Rust.
Language:Rust1 0
syntheorem/obj-rs
:shipit: Wavefront obj parser for Rust
Language:Rust
syntheorem/patch
Data structures for describing changes to other data structures.
syntheorem/portaudio
Haskell bindings to the portaudio library.
Language:Haskell1 0
syntheorem/raytrace.cpp
A simple raytracer written in C++.
Language:C++1 0
syntheorem/reflex
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.
syntheorem/reflex-dom
Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.
Language:Haskell0 0
syntheorem/rust
A safe, concurrent, practical language.
Language:Rust1 0
syntheorem/rust-objc
Objective-C Runtime bindings and wrapper for Rust.
Language:Rust1 0
syntheorem/rust-objc-foundation
Rust wrapper for Objective-C's Foundation framework.
Language:Rust
syntheorem/sublime-rust
The official Sublime Text 3 package for the Rust Programming Language
Language:Rust
syntheorem/synlude
My custom Haskell prelude
Language:Haskell1 0
syntheorem/tobj
Tiny OBJ Loader in Rust
Language:Rust1 0
syntheorem/winit
Window handling library in pure Rust
Language:Rust