syntheorem Goto Github PK
Name: syntheorem
Type: User
Name: syntheorem
Type: User
An implementation of AES using D and the AES-NI x86 extensions.
Andersen's inclusion-based pointer analysis re-implementation in LLVM
Approximate floating point equality comparisons and assertions
Jetpack plugin for Minecraft servers using Bukkit.
Official upstream development repository for Cabal and cabal-install
A library that provides types and conversions for working with various color formats.
Dependently-typed finite maps (partial dependent products)
Dependent sums and supporting typeclasses for comparing and displaying them
Safe OpenGL wrapper for the Rust language.
Homebrew formulae to install latest GHC binaries
Haskell bindings for LLVM
Kaleidoscope Tutorial using llvm-hs
Type Safe LLVM IR ( Experimental )
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Language Server Protocol support for Sublime Text 3
Maps using values' monoidal structure during merging
A collection of numeric types and traits for Rust.
:shipit: Wavefront obj parser for Rust
Data structures for describing changes to other data structures.
Haskell bindings to the portaudio library.
A simple raytracer written in C++.
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.
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.
A safe, concurrent, practical language.
Objective-C Runtime bindings and wrapper for Rust.
Rust wrapper for Objective-C's Foundation framework.
The official Sublime Text 3 package for the Rust Programming Language
My custom Haskell prelude
Template Haskell lEXical Analyzer
Tiny OBJ Loader in Rust
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.