Skip to content
View syntheorem's full-sized avatar

Block or report syntheorem

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
  • Type Safe LLVM IR ( Experimental )

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jun 20, 2024
  • llvm-hs Public

    Forked from llvm-hs/llvm-hs

    Haskell bindings for LLVM

    LLVM Updated Jun 20, 2024
  • llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    Other Updated Mar 25, 2024
  • thexa Public

    Template Haskell lEXical Analyzer

    Haskell 5 MIT License Updated Aug 12, 2021
  • Kaleidoscope Tutorial using llvm-hs

    Haskell MIT License Updated May 20, 2021
  • synlude Public

    My custom Haskell prelude

    Haskell MIT License Updated May 13, 2021
  • reflex Public

    Forked from reflex-frp/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 …

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 11, 2020
  • 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 pur…

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 30, 2020
  • patch Public

    Forked from reflex-frp/patch

    Data structures for describing changes to other data structures.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 23, 2020
  • Maps using values' monoidal structure during merging

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 23, 2020
  • LSP Public

    Forked from sublimelsp/LSP

    Language Server Protocol support for Sublime Text 3

    Python MIT License Updated Jun 9, 2020
  • Dependent sums and supporting typeclasses for comparing and displaying them

    Haskell Updated Jan 12, 2020
  • Dependently-typed finite maps (partial dependent products)

    Haskell Other Updated Jan 11, 2020
  • portaudio Public

    Forked from sw17ch/portaudio

    Haskell bindings to the portaudio library.

    Haskell MIT License Updated Jul 27, 2018
  • cabal Public

    Forked from haskell/cabal

    Official upstream development repository for Cabal and cabal-install

    Haskell Other Updated Jul 17, 2018
  • winit Public

    Forked from rust-windowing/winit

    Window handling library in pure Rust

    Rust Apache License 2.0 Updated Aug 24, 2017
  • num Public

    Forked from rust-num/num

    A collection of numeric types and traits for Rust.

    Rust Apache License 2.0 Updated Jun 11, 2017
  • obj-rs Public

    Forked from simnalamburt/obj-rs

    :shipit: Wavefront obj parser for Rust

    Rust Other Updated May 24, 2017
  • rust Public

    Forked from rust-lang/rust

    A safe, concurrent, practical language.

    Rust Other Updated May 19, 2017
  • approx Public

    Forked from brendanzab/approx

    Approximate floating point equality comparisons and assertions

    Rust Apache License 2.0 Updated Apr 30, 2017
  • The official Sublime Text 3 package for the Rust Programming Language

    Rust MIT License Updated Jan 21, 2017
  • Rust wrapper for Objective-C's Foundation framework.

    Rust Updated Oct 31, 2016
  • rust-objc Public

    Forked from SSheldon/rust-objc

    Objective-C Runtime bindings and wrapper for Rust.

    Rust MIT License Updated Oct 31, 2016
  • tobj Public

    Forked from Twinklebear/tobj

    Tiny OBJ Loader in Rust

    Rust MIT License Updated Feb 11, 2016
  • glium Public

    Forked from glium/glium

    Safe OpenGL wrapper for the Rust language.

    Rust Apache License 2.0 Updated Jul 18, 2015
  • color-rs Public

    Forked from brendanzab/color-rs

    A library that provides types and conversions for working with various color formats.

    Rust Apache License 2.0 Updated Jul 12, 2015
  • andersen Public

    Forked from grievejia/andersen

    Andersen's inclusion-based pointer analysis re-implementation in LLVM

    C++ Updated Mar 18, 2015
  • Homebrew formulae to install latest GHC binaries

    Ruby Updated Aug 10, 2014
  • A simple raytracer written in C++.

    C++ Updated Jan 29, 2014
  • AES.d Public

    An implementation of AES using D and the AES-NI x86 extensions.

    D Updated Jan 8, 2014