diakopter Goto Github PK

6model

Just a place that I'm keeping some meta-model prototyping; anything that matters will make it to another repo (e.g. nqp-rx one or Rakudo one) at some point.

abstract-algorithm

Optimal evaluator of λ-calculus terms.

barliman

Prototype smart text editor

bwave

terminal/shell/editor built on titzer/virgil, compiles (itself) to wasm

chevrotain

Parser Building Toolkit for JavaScript

cloud9

Cloud9 IDE - The modern IDE built on Node, JavaScript and HTML5. This is the OSS component of the broader service option at c9.io

component-fetcher

Utility for fetching the public list of NoFlo components and component libraries

cs240h

Reference type checker for the Lean Theorem Prover

csmeta

cur

Powerful meta-programming for powerful types.

dataflow-noflo

Archived prototype. To see the current work:

discourse-hide-views-column

A theme component for Discourse

domchanger

dombuilder that applies diffs only to the real dom

editor

Visual editor for Babylon.js

elementary-affine-calculus

A simple, untyped, terminating functional language that is fully compatible with optimal reductions.

elementary-affine-net-legacy

fbp

FBP flow definition language parser

foo

formality

An efficient minimal programming language and proof assistant.

formality-core

formality-net-legacy

fstar

An ML-like language with a type system for program verification

g0v.asia

g0v.asia landing page

gitkit-js

Pure javascript implementation of Git (Node.js and Browser)

grunt-init-noflo

grunt-init template for scaffolding NoFlo projects

homebrew-lean

homebrew tap for Lean theorem prover

hvm

A massively parallel, optimal functional runtime in Rust

idris-insertion-sort

Provably correct implementation of insertion sort in Idris.

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

idris2-sh

Idris2s all the way down