pasberth

pasberth's Stars

• microsoft/TypeScript

  TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  Language:TypeScript102k2.1k41.4k12.6k

• adobe-fonts/source-han-sans

  Source Han Sans | 思源黑体 | 思源黑體 | 思源黑體 香港 | 源ノ角ゴシック | 본고딕

  14.6k3955161.3k

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.6k1572.4k564

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.5k2087.5k1.1k

• spolu/breach_core

  A Browser written in JS. Free. Modular. Hackable.

  Language:JavaScript5.4k183176411

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k10310.1k660

• Frege/frege

  Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

  Language:Frege3.6k154283145

• clasp-developers/clasp

  clasp Common Lisp environment

  Language:Common Lisp2.6k98822145

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k120634360

• adobe-fonts/source-han-code-jp

  Source Han Code JP | 源ノ角ゴシック Code

  Language:PostScript1.7k951555

• dibyendumajumdar/ravi

  Ravi is a dialect of Lua, featuring limited optional static typing, JIT and AOT compilers

  Language:C1.2k5223064

• ocsigen/js_of_ocaml

  Compiler from OCaml to Javascript.

  Language:OCaml96939680188

• jscert/jscert

  A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

  Language:Coq196241112

• ocsigen/tyxml

  Build valid HTML and SVG documents

  Language:OCaml1661913162

• camlp4/camlp4

  Camlp4 tool

  Language:OCaml1011210636

• psibi/shell-conduit

  Write shell scripts with Conduit

  Language:Haskell96101115

• yutopp/rill

  Statically typed system programming language for 文鳥

  Language:OCaml9419107

• bfops/open-union

  Type-safe open unions in Haskell

  Language:Haskell31625

• lambdataro/Mokkosu

  Mokkosuはインタラクティブなコンテンツを手軽に作成可能な関数型プログラミング言語です。

  Language:C#273185

• tanakh/process-conduit

  Conduits for Processes

  Language:Haskell27546

• ekmett/homotopy

  Language:Coq17502

• dark-constexpr/dark-constexpr.github.io

  Language:HTML112

• myuon/agda-cate

  Category Theory in Agda

  Language:Agda9600

• syugyo/yakkai

  mini Lisp

  Language:C++4300

• camlspotter/ocaml

  Read-only mirror of INRIA SVN

  Language:OCaml3480

• mathink/mslambda

  Map, Skeleton, Lambda term.

  Language:Coq3101

• myuon/website

  website

  Language:HTML3201

• minamichihaya/minamichihaya.github.io

  Website for minamichihaya

  Language:HTML2300

• mizchi-sandbox/js_of_ocaml-project-skeleton

  Language:OCaml120

• myuon/aichan-lvlv

  愛ちゃんのラブラブ放置プレイ

  Language:Haskell130