bjoeris Goto Github PK

.spacemacs.d

alchimia

android_device_huawei_u8815

CyanogenMod device configuration for the Huawei Ascend G300 - U8815 / U8818.

animation_nodes

Node based visual scripting system designed for motion graphics in Blender.

as3-crypto

Fork of Henri Torgemane's excellent as3 cryptography library

beancount

Official mirror of Beancount Mercurial repo on Github (updated manually and infrequently)

bigwheels

BigWheels is a cross-platform, API agnostic framework to build graphics applications.

dive

fava

Fava - web interface for Beancount

gapid

Graphics API Debugger

healthmetrics

katex

Fast math typesetting for the web.

lean

Lean Theorem Prover

lean-haskell-bindings

Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/

multiconduit

Example showing how to fuse to a conduit with multiple inputs.

oauth2_proxy

A reverse proxy that provides authentication with Google, Github or other provider

orbitalring

Simulation of an orbital ring for launching into orbit

orbits-haskell-tensorflow

packages

Javascript libraries packaged up with Google Closure externs

pal

Platform Abstraction Library

purescript-halogen

A declarative, type-safe UI library for PureScript.

python-docs-samples

Code samples used on cloud.google.com

reactive-banana

Reactive-banana is a library for functional reactive programming, written in the beautiful language Haskell.

recognizing-frame-matroids-talk

renderdoc

RenderDoc is a stand-alone graphics debugging tool.

reveal.js

The HTML Presentation Framework

rust-immutable-seq

Immutable sequence data structure for Rust

rust-lazy

Lazy Evaluation for Rust.

rust-lazy-ref

A lazy, reference-counted type for Rust

sage

Mirror of the Sage source tree