Discover sighingnow/intuition-plugin Open Source project

Stars
2
Language
Haskell
License
MIT License
Created about 7 years ago
Updated about 7 years ago

sighingnow

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An experiment on applying automated type-level equation reasoning techniques to guiding type normalization of GHC.

jekyll-gitbook

Build Jekyll site with GitBook style!

CSS

368

parsec.py

A universal Python parser combinator library inspired by Parsec library of Haskell.

Python

207

libclang

(Unofficial) Release libclang (clang.cindex) on pypi.

Python

duckdb-haskell

Full-featured haskell bindings for the duckdb database.

Haskell

mxnet-haskell

MXNet interface in Haskell.

Haskell

amazing-coq

WHAT I have done on the road to Coq language and certified programming.

Coq

primesieve-haskell

A collection of packages related to math, algorithms and science, in Haskell.

Haskell

xgboost-haskell

XGBoost for Haskell via FFI.

Haskell

compile-pascal

A simple PL0 compiler using parser combinator.

C++

sighingnow.github.io

Homepage hosted on Github Pages.

HTML

Programming

Some interesting tools and solutions of problems on Online-Judge.

Brainfuck

Functional-99

Solution for Ninety-Nine Problems in functional programming language(Haskell, Scala and Scheme).

Haskell

socket-messaging

Some messaging demos using linux socket.

ghc-events-sqlite

Manipulate ghc-events with SQLite.

Haskell

google-cpp-btree

Mirror of https://code.google.com/archive/p/cpp-btree/

C++

bounded-list

A bounded-list in Haskell using dependent type tricks.

Haskell

etcd-distro

Python distribution for etcd, making `pip install etcd` possible.

Python

sighingnow/intuition-plugin

sighingnow

Reviews

Repository Details

More Repositories