Giters
David Barbour (dmbarbour)

dmbarbour

Geek Repo

123

followers

10

following

51

stars

Location:Overland Park, KS

Home Page:http://awelonblue.wordpress.com

Github PK Tool:Github PK Tool

David Barbour's starred repositories

kopi

A simple, immutable, 100% asynchronous programming language

Language:JavaScriptLicense:MITStargazers:13Issues:0Issues:0

fsharp-finger-trees

Finger Trees in F#.

Language:F#License:Apache-2.0Stargazers:8Issues:0Issues:0

kitten

A statically typed concatenative systems programming language.

Language:HaskellLicense:NOASSERTIONStargazers:1089Issues:0Issues:0

seedling

A Programming Language for Everyone and Everything

Stargazers:31Issues:0Issues:0

pl-catalog

A catalog of programming languages

Stargazers:762Issues:0Issues:0

The-Spiral-Language

Functional language with intensional polymorphism and first-class staging.

Language:PythonLicense:MPL-2.0Stargazers:916Issues:0Issues:0

binaryen

Optimizer and compiler/toolchain library for WebAssembly

Language:WebAssemblyLicense:Apache-2.0Stargazers:7354Issues:0Issues:0

hydrogen

:atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.

Language:TypeScriptLicense:MITStargazers:3920Issues:0Issues:0

felix

The Felix Programming Language

Language:CLicense:NOASSERTIONStargazers:803Issues:0Issues:0

mithril-hx

Haxe externs for Mithril (JS MVC framework)

Language:HaxeStargazers:181Issues:0Issues:0

the-graph

SVG custom elements for FBP graph editing and visualization. Used in noflo/noflo-ui

Language:JavaScriptLicense:MITStargazers:1008Issues:0Issues:0

lmdb

Read-only mirror of official repo on openldap.org. Issues and pull requests here are ignored. Use OpenLDAP ITS for issues.

Language:CStargazers:2521Issues:0Issues:0

zstd

Zstandard - Fast real-time compression algorithm

Language:CLicense:NOASSERTIONStargazers:23010Issues:0Issues:0

threepenny-gui

GUI framework that uses the web browser as a display.

Language:HaskellLicense:NOASSERTIONStargazers:438Issues:0Issues:0

xiki

A shell console with GUI features

Language:RubyLicense:NOASSERTIONStargazers:3764Issues:0Issues:0

reflex-dom

Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.

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

elm-repl

A REPL for Elm

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

physical-web

The Physical Web: walk up and use anything

Language:JavaLicense:Apache-2.0Stargazers:5997Issues:0Issues:0

nanopass-framework-racket

Racket port of the nanopass-framework

Language:RacketLicense:MITStargazers:34Issues:0Issues:0

nanopass-framework-racket

Racket port of the nanopass-framework

Language:RacketLicense:MITStargazers:5Issues:0Issues:0

scheme-to-c

A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)

Language:SchemeLicense:MITStargazers:349Issues:0Issues:0

nanopass-framework

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Language:SchemeLicense:MITStargazers:321Issues:0Issues:0

unison

A friendly programming language from the future

Language:HaskellLicense:NOASSERTIONStargazers:5696Issues:0Issues:0

ponyc

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

Language:CLicense:BSD-2-ClauseStargazers:5666Issues:0Issues:0

virtual-dom

A Virtual DOM and diffing algorithm

Language:JavaScriptLicense:MITStargazers:11648Issues:0Issues:0

cryptol

Cryptol: The Language of Cryptography

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

ICryptol

IPython-style interaction for Cryptol

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

wai

Haskell Web Application Interface

Language:HaskellLicense:MITStargazers:829Issues:0Issues:0

s3fs-fuse

FUSE-based file system backed by Amazon S3

Language:C++License:GPL-2.0Stargazers:8414Issues:0Issues:0

plugins-ng

dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.

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