pasberth

pasberth's Stars

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k644

• myuon/Chimera

  Shooting Game with Monads and Lenses

  Language:Haskell111

• GaloisInc/HaLVM

  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

  Language:Haskell1.1k79

• ajhc/ajhc

  A fork of jhc. And also a Haskell compiler.

  Language:Haskell13428

• cplusplus/draft

  C++ standards drafts

  Language:TeX5.7k752

• yuroyoro/gfspark

  gfspark : Growth Forecast on Terminal

  Language:Ruby10

• teracyhq/sphinx-deployment

  automatic setup and deployment for sphinx docs

  Language:Shell268

• pasberth/paslands

  設定とか保存する所

  1

• mathink/Cat_on_Coq

  Setoid-based Category Theory in Coq.

  Language:HTML13

• ghcjs/ghcjs

  Haskell to JavaScript compiler, based on GHC

  Language:Haskell2.6k186

• toml-lang/toml

  Tom's Obvious, Minimal Language

  19.6k856

• mzp/mini-os-with-ajhc

  Snatch Mini-OS/Xen using Haskell and Ajhc compiler.

  Language:C103

• jaspervdj/websockets

  A Haskell library for creating WebSocket-capable servers

  Language:Haskell408113

• stedolan/bf.sed

  A brainfuck compiler, written in sed

  1575

• kazu-yamamoto/witty

  A web server to show bottlenecks of GHC

  Language:Haskell152

• melpon/wandbox

  Social Compilation Service

  Language:TypeScript1.2k105

• pasberth/ghost

  SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM SAM

  Language:Shell2

• ocaml-batteries-team/batteries-included

  Batteries Included project

  Language:OCaml521106

• json-emacs/json-mode

  Major mode for editing JSON files with emacs

  Language:Emacs Lisp31566

• tombfix/core

  Tombfix is Fork of Tombloo. The main purpose is the maintenance of Tombloo.

  Language:JavaScript9113

• mono/llvm

  Mono LLVM Repository.

  Language:LLVM5828

• pi8027/typeinfer

  Type inference in OCaml

  Language:TeX402

• keigoi/coq4ios

  moved to https://github.com/keigoi/Coq4iOS2

  Language:Objective-C24

• pasberth/promptway

  プロンプトの味気ないパスをかっこ良く表示するよ

  Language:Shell111

• RubyMoney/money

  A Ruby Library for dealing with money and currency conversion.

  Language:Ruby2.8k625

• fumieval/Zephyr

  Language:Haskell3

• scottferg/Fergulator

  NES emulator, written in Go

  Language:Go61544

• ternjs/tern

  A JavaScript code analyzer for deep, cross-editor language support

  Language:JavaScript4.3k378

• ekmett/bifunctors

  Haskell 98 bifunctors, bifoldables and bitraversables

  Language:Haskell5742

• twitter/bijection

  Reversible conversions between types

  Language:Scala654123