Giters
pasberth

pasberth

Geek Repo

142

followers

187

following

319

stars

Company:A student

Location:Kanagawa, Japan

Home Page:pasberth.github.io

Github PK Tool:Github PK Tool

pasberth's starred repositories

source-han-code-jp

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

Language:PostScriptLicense:OFL-1.1Stargazers:1628Issues:0Issues:0

ravi

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

Language:CLicense:NOASSERTIONStargazers:1156Issues:0Issues:0

Mokkosu

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

Language:C#License:MITStargazers:27Issues:0Issues:0

dark-constexpr.github.io

Language:HTMLStargazers:11Issues:0Issues:0

agda-cate

Category Theory in Agda

Language:AgdaLicense:MITStargazers:8Issues:0Issues:0

clasp

clasp Common Lisp environment

Language:Common LispStargazers:2542Issues:0Issues:0

shell-conduit

Write shell scripts with Conduit

Language:HaskellLicense:BSD-3-ClauseStargazers:96Issues:0Issues:0

open-union

Type-safe open unions in Haskell

Language:HaskellLicense:MITStargazers:30Issues:0Issues:0

js_of_ocaml-project-skeleton

Language:OCamlStargazers:1Issues:0Issues:0

aichan-lvlv

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

Language:HaskellLicense:MITStargazers:1Issues:0Issues:0

homotopy

Language:CoqStargazers:17Issues:0Issues:0

camlp4

Camlp4 tool

Language:OCamlLicense:NOASSERTIONStargazers:101Issues:0Issues:0

source-han-sans

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

License:NOASSERTIONStargazers:14060Issues:0Issues:0

ocaml

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

Language:OCamlLicense:NOASSERTIONStargazers:5289Issues:0Issues:0

minamichihaya.github.io

Website for minamichihaya

Language:HTMLStargazers:2Issues:0Issues:0

tyxml

Build valid HTML and SVG documents

Language:OCamlLicense:NOASSERTIONStargazers:163Issues:0Issues:0

ocaml

Read-only mirror of INRIA SVN

Language:OCamlLicense:NOASSERTIONStargazers:3Issues:0Issues:0

js_of_ocaml

Compiler from OCaml to Javascript.

Language:OCamlLicense:NOASSERTIONStargazers:943Issues:0Issues:0

TypeScript

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

Language:TypeScriptLicense:Apache-2.0Stargazers:99132Issues:0Issues:0

breach_core

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

Language:JavaScriptLicense:MITStargazers:5415Issues:0Issues:0

process-conduit

Conduits for Processes

Language:HaskellLicense:BSD-3-ClauseStargazers:27Issues:0Issues:0

book

A textbook on informal homotopy type theory

Language:TeXStargazers:2001Issues:0Issues:0

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:OCamlLicense:LGPL-2.1Stargazers:4708Issues:0Issues:0

frege

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

Language:FregeLicense:NOASSERTIONStargazers:3624Issues:0Issues:0

mslambda

Map, Skeleton, Lambda term.

Language:CoqStargazers:3Issues:0Issues:0

rill

Statically typed system programming language for 文鳥

Language:OCamlLicense:BSL-1.0Stargazers:94Issues:0Issues:0

yakkai

mini Lisp

Language:C++Stargazers:4Issues:0Issues:0

jscert

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

Language:CoqLicense:NOASSERTIONStargazers:195Issues:0Issues:0

website

website

Language:HTMLStargazers:3Issues:0Issues:0

purescript

A strongly-typed language that compiles to JavaScript

Language:HaskellLicense:NOASSERTIONStargazers:8497Issues:0Issues:0