Block or report user

Report or block alcides

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@AEminium

Exploring Elm on the Erlang VM

Haskell 128 3 Updated Oct 9, 2018

Generate Erlang VM byte code from Haskell

Haskell 120 5 Updated Jul 6, 2018

An llvm-based framework for generating and calling into high-performance native code from Python.

Python 4 Updated Oct 24, 2018

Examples for Parallel Computing Course

C++ 3 2 Updated Jun 30, 2015

Introduction to Parallel Programming class code

Cuda 753 917 Updated Aug 13, 2018

A bibliography on Gradual Typing

Racket 159 14 Updated Oct 22, 2018

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

OCaml 8 Updated Oct 8, 2018

50%+ Faster, 50%+ less RAM usage, GPU support re-written Sklearn, Statsmodels combo with new novel algorithms.

Jupyter Notebook 438 26 Updated Oct 21, 2018

A collection of resources for learning type theory and type theory adjacent fields.

816 48 Updated Jul 18, 2018

A parser generator for visibly pushdown languages.

C 407 13 Updated Sep 28, 2018

Dynamic Structured Grammatical Evolution

Python 5 Updated Oct 31, 2017

A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).

Haskell 4 Updated Nov 28, 2016

Containers for STM

Haskell 37 8 Updated Oct 4, 2018

SAT/SMT by example

TeX 154 19 Updated Jul 1, 2018

GPGPU Framework for Rust

Rust 217 6 Updated Aug 19, 2018

A semantics for the types of loops that can be modelled by polyhedral compilation techniques, developed in Coq.

Coq 4 Updated Jun 25, 2018

A programming language with compiles to LLVM

Haskell 7 Updated Jun 10, 2018

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

Rust 381 38 Updated Oct 17, 2018

Pandas integration with sklearn

Python 1,668 273 Updated Oct 21, 2018

Strict Haskell-like programming language that compiles to LLVM

Haskell 47 3 Updated Sep 7, 2018

A toolkit for SAT-based prototyping in Python

Python 26 3 Updated Sep 22, 2018

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

Rust 459 39 Updated Oct 13, 2018

A High Performance Quantum Computer Simulator (Using OpenCL and Python)

Python 297 19 Updated Oct 23, 2018

A Multi-Qubit Ideal Quantum Computer Simulator

Python 664 40 Updated Jul 17, 2018

A multi-syntax functional programming language that compiles to WebAssembly.

Haskell 397 13 Updated Sep 21, 2018

A tiny neural network 🧠

Haskell 102 4 Updated May 26, 2018

An open source python framework for automated feature engineering

Python 2,290 254 Updated Oct 23, 2018

a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features

Idris 96 3 Updated Sep 12, 2018

πfs - the data-free filesystem!

C 4,368 223 Updated Mar 27, 2017

Simple and portable (but not inflexible) GUI library in C that uses the native GUI technologies of each platform it supports.

C 7,848 404 Updated Oct 13, 2018