Giters
Brendan Zabarauskas (brendanzab)

brendanzab

Geek Repo

746

followers

298

following

4k

stars

Company:@yeslogic

Location:Melbourne, Australia

Home Page:http://voyager3.tumblr.com

Twitter:@brendanzab

Github PK Tool:Github PK Tool

Organizations
gluon-lang
pikelet-lang
PistonDevelopers
proglangdesign
rust-lang
yeslogic

Brendan Zabarauskas's starred repositories

act

Run your GitHub Actions locally 🚀

Language:GoLicense:MITStargazers:51561Issues:167Issues:1086

NsCDE

Modern and functional CDE desktop based on FVWM

Language:CSSLicense:NOASSERTIONStargazers:1857Issues:37Issues:158

kdl

the kdl document language specifications

License:NOASSERTIONStargazers:1056Issues:26Issues:134

Orca-c

Live Programming Environment(C Port)

Language:CLicense:MITStargazers:471Issues:25Issues:56

dither

A fast, correct image dithering library in Go.

Language:GoLicense:MPL-2.0Stargazers:350Issues:6Issues:12

MicroHs

Haskell implemented with combinators

Language:HaskellLicense:NOASSERTIONStargazers:266Issues:9Issues:19

pvslib

NASA PVS Library of Formal Developments

Language:Common LispStargazers:259Issues:31Issues:3

dunai

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

Language:HaskellStargazers:194Issues:13Issues:308

agda2hs

Compiling Agda code to readable Haskell

Language:AgdaLicense:MITStargazers:173Issues:19Issues:157

document-features

Extract documentation for the feature flags from comments in Cargo.toml

Language:RustLicense:Apache-2.0Stargazers:169Issues:4Issues:15

morphogen

3D form evolution through tree based transformations

Language:ShellLicense:Apache-2.0Stargazers:165Issues:12Issues:1

helium

The Helium compiler, Helium-as-a-library, and the texthint interpreter

Language:HaskellLicense:GPL-3.0Stargazers:91Issues:8Issues:3

jssyntaxtree

Dynamic JavaScript version of phpSyntaxTree - a tool to draw syntax trees from labelled bracket notation.

Language:JavaScriptLicense:GPL-2.0Stargazers:79Issues:3Issues:12

rangemap

Map data structure whose keys are stored as ranges

Language:RustLicense:Apache-2.0Stargazers:71Issues:4Issues:40

stateless

Statically typed, purely functional effects for Python.

Language:PythonLicense:MITStargazers:57Issues:2Issues:3

buildNodeModules

An experiment in improving node packaging for nix. Dead simple.

Language:NixStargazers:42Issues:4Issues:7

ocaml-multicont

multi-shot continuations in OCaml

Language:OCamlLicense:MITStargazers:42Issues:3Issues:6

vscode-pvs

LAR-19642-1: Visual Studio Code Extension for PVS

Language:TypeScriptLicense:NOASSERTIONStargazers:40Issues:10Issues:9

meson-raytracer

Language:MesonStargazers:37Issues:3Issues:0

document-calculus

Accompanying materials for "A Core Calculus for Documents"

Language:OCamlLicense:Apache-2.0Stargazers:29Issues:1Issues:0

example-fault-tolerant-parser

Fault-tolerant nom 5 parser based on "Syntax error recovery in parsing expression grammars" (2018)

Language:RustStargazers:28Issues:4Issues:1

BiTTs

Language:OCamlStargazers:17Issues:0Issues:0

forest-server

A server for the forester tool

Language:RustLicense:MITStargazers:11Issues:1Issues:4

linearity

Formalization of Linear Logic and Related Programming Languages Metatheory

Language:CoqStargazers:10Issues:2Issues:0

prettyprint

New SML/NJ Prettyprint library.

Language:Standard MLLicense:BSD-3-ClauseStargazers:6Issues:4Issues:0

PieceWork

Quilting with HoTT

Language:ScalaStargazers:4Issues:0Issues:0

ccc

Language:OCamlStargazers:4Issues:0Issues:0

judgefmt

Language:RustLicense:MITStargazers:3Issues:3Issues:0

funlog

Language:OCamlStargazers:2Issues:0Issues:0

metis

A compiler project.

Language:HaskellStargazers:2Issues:0Issues:0