Giters
Robert Kleffner (robertkleffner)

robertkleffner

Geek Repo

76

followers

65

following

115

stars

Company:Lumineye, Inc.

Location:Boise

Home Page:http://www.glossopoeia.com

Github PK Tool:Github PK Tool

Robert Kleffner's starred repositories

Awesome-SLAM

A curated list of SLAM resources

License:MITStargazers:821Issues:0Issues:0

awesome-database-learning

A list of learning materials to understand databases internals

Stargazers:9047Issues:0Issues:0

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++License:NOASSERTIONStargazers:32266Issues:0Issues:0

weather.gov

weather.gov 2.0

Language:JavaScriptLicense:NOASSERTIONStargazers:321Issues:0Issues:0

Map-Projections

A suite of programs to create custom maps of the Earth's surface.

Language:JavaLicense:MITStargazers:128Issues:0Issues:0

document-calculus

Accompanying materials for "A Core Calculus for Documents"

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

Crafty

JavaScript Game Engine

Language:JavaScriptLicense:MITStargazers:3394Issues:0Issues:0

awesome-go-storage

A curated list of awesome Go storage projects and libraries

License:MITStargazers:4364Issues:0Issues:0

lux

The Lux Programming Language

Language:Emacs LispLicense:MPL-2.0Stargazers:1666Issues:0Issues:0

tao

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Language:RustLicense:MPL-2.0Stargazers:1084Issues:0Issues:0

golang-set

A simple, battle-tested and generic set type for the Go language. Trusted by Docker, 1Password, Ethereum and Hashicorp.

Language:GoLicense:NOASSERTIONStargazers:4027Issues:0Issues:0

underscore

🌟 Useful functional programming helpers for Go

Language:GoLicense:MITStargazers:108Issues:0Issues:0

dtask

DTask is a scheduler for statically dependent tasks.

License:Apache-2.0Stargazers:1Issues:0Issues:0

awesome-dbdev

Awesome materials about database development.

Stargazers:1346Issues:0Issues:0

malt

Machine Learning Toolkit accompanying The Little Learner by Daniel P. Friedman and Anurag Mendhekar

Language:RacketLicense:MITStargazers:185Issues:0Issues:0

csharplang

The official repo for the design of the C# programming language

Language:C#Stargazers:11141Issues:0Issues:0

unison

A friendly programming language from the future

Language:HaskellLicense:NOASSERTIONStargazers:5685Issues:0Issues:0

pldb

PLDB: a Programming Language DataBase

Language:JavaScriptStargazers:702Issues:0Issues:0

marwood

An embeddable Scheme R7 Compiler & Runtime written in Rust

Language:RustLicense:Apache-2.0Stargazers:103Issues:0Issues:0

effekt

A research language with effect handlers and lightweight effect polymorphism

Language:ScalaLicense:MITStargazers:306Issues:0Issues:0

mystery-languages

Mystery Languages

Language:RacketStargazers:32Issues:0Issues:0

datafun

Research on integrating datalog & lambda calculus via monotonicity types

Language:TeXStargazers:384Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4077Issues:0Issues:0

futhark

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

Language:HaskellLicense:ISCStargazers:2356Issues:0Issues:0

7guis

7GUIs is a GUI programming usability benchmark.

Language:JavaScriptStargazers:131Issues:0Issues:0

prowl

WIP stack language that uses regex for control flow

Language:OCamlStargazers:36Issues:0Issues:0

ante

A safe, easy systems language

Language:RustLicense:MITStargazers:1881Issues:0Issues:0

pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Language:RustLicense:Apache-2.0Stargazers:610Issues:0Issues:0

awesome-programming-languages

The list of an awesome programming languages that you might be interested in

License:MITStargazers:582Issues:0Issues:0

boba

A general purpose statically-typed concatenative programming language.

Language:F#License:MITStargazers:50Issues:0Issues:0