Giters
turlando

turlando

Geek Repo

24

followers

21

following

352

stars

Github PK Tool:Github PK Tool

turlando's starred repositories

scheme-to-c

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

Language:SchemeLicense:MITStargazers:347Issues:0Issues:0

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:6869Issues:0Issues:0

nanopass-framework-scheme

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

Language:SchemeLicense:MITStargazers:479Issues:0Issues:0

alpaca

Functional programming inspired by ML for the Erlang VM

Language:ErlangLicense:NOASSERTIONStargazers:1436Issues:0Issues:0

ChessPositionRanking

Software suite for ranking chess positions and accurately estimating the number of legal chess positions

Language:HaskellLicense:MITStargazers:133Issues:0Issues:0

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Stargazers:2057Issues:0Issues:0

purescript-typelevel-shunting-yard

Shunting Yard Algorithm implemented at the type-level in PureScript

Language:PureScriptLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

AnalogTapeModel

Physical modelling signal processing for analog tape recording

Language:C++License:GPL-3.0Stargazers:1026Issues:0Issues:0

swish

Swish Concurrency Engine

Language:SchemeLicense:MITStargazers:138Issues:0Issues:0

disco

Functional teaching language for use in a discrete mathematics course

Language:TeXLicense:NOASSERTIONStargazers:157Issues:0Issues:0

git-filter-repo

Quickly rewrite git repository history (filter-branch replacement)

Language:PythonLicense:NOASSERTIONStargazers:7555Issues:0Issues:0

quil

Specification of Quil: A Practical Quantum Instruction Set Architecture

Language:TeXLicense:Apache-2.0Stargazers:101Issues:0Issues:0

RIRC

A Quassel inspired IRC client.

Language:PythonStargazers:5Issues:0Issues:0

creep

a pretty sweet 4px wide pixel font.

Language:Vim scriptLicense:MITStargazers:1797Issues:0Issues:0

adaspark

Language:NixLicense:MITStargazers:13Issues:0Issues:0

eurorack

Eurorack modules

Language:C++Stargazers:2540Issues:0Issues:0

futhark

:boom::computer::boom: A data-parallel functional programming language

Language:HaskellLicense:ISCStargazers:2324Issues:0Issues:0

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Language:HaskellLicense:MITStargazers:3319Issues:0Issues:0

CompCert

The CompCert formally-verified C compiler

Language:CoqLicense:NOASSERTIONStargazers:1777Issues:0Issues:0

ninjam

NINJAM server, clients, autosong, etc

Language:CLicense:GPL-2.0Stargazers:326Issues:0Issues:0

Ada_Bare_Metal_Demos

Bare Metal demos using Ada and ravenscar runtimes

Language:AdaLicense:GPL-3.0Stargazers:20Issues:0Issues:0

immer

Postmodern immutable and persistent data structures for C++ — value semantics at scale

Language:C++License:BSL-1.0Stargazers:2439Issues:0Issues:0

citus

Distributed PostgreSQL as an extension

Language:CLicense:AGPL-3.0Stargazers:9926Issues:0Issues:0

HoustonTracker2

A music editor for TI graphing calculators

Language:AssemblyLicense:BSD-3-ClauseStargazers:194Issues:0Issues:0

BambooTracker

YM2608 music tracker 🎍🎋

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

comdb2

Bloomberg's distributed RDBMS

Language:CLicense:NOASSERTIONStargazers:1310Issues:0Issues:0

project-m36

Project: M36 Relational Algebra Engine

Language:HaskellLicense:UnlicenseStargazers:877Issues:0Issues:0

Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

Language:AdaLicense:BSD-3-ClauseStargazers:232Issues:0Issues:0

ymfm

BSD-licensed Yamaha FM sound cores (OPM, OPN, OPL, and others)

Language:C++License:BSD-3-ClauseStargazers:251Issues:0Issues:0

PSR70-reverse

Yamaha PSR-70 reverse engineering project

Language:CStargazers:14Issues:0Issues:0