sighingnow/Programming

Stars
4
Rank 3,304,323 (Top 66 %)
Language Brainfuck
License
MIT License
Created over 9 years ago
Updated almost 9 years ago

sighingnow/Programming

sighingnow

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

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

jekyll-gitbook

Build Jekyll site with GitBook style!

parsec.py

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

libclang

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

duckdb-haskell

Full-featured haskell bindings for the duckdb database.

mxnet-haskell

MXNet interface in Haskell.

amazing-coq

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

primesieve-haskell

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

xgboost-haskell

XGBoost for Haskell via FFI.

compile-pascal

A simple PL0 compiler using parser combinator.

sighingnow.github.io

Homepage hosted on Github Pages.

Functional-99

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

intuition-plugin

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

socket-messaging

Some messaging demos using linux socket.

ghc-events-sqlite

Manipulate ghc-events with SQLite.

google-cpp-btree

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

bounded-list

A bounded-list in Haskell using dependent type tricks.

etcd-distro

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