seckcoder

seckcoder's Stars

• copumpkin/categories

  Categories parametrized by morphism equality, in Agda

  Language:Agda14824

• dleslie/monad-egg

  Monads for scheme

  Language:Scheme283

• namin/lambdajam

  Workshop on Program Transformations

  Language:Scheme256

• namin/spots

  various code snippets in various languages

  Language:Scala132

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k360

• swannodette/delimc

  Delimited continuations for Clojure

  Language:Clojure21322

• stchang/graph

  Generic graph library and algorithms for Racket.

  Language:Racket5821

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.2k338

• SamyPesse/How-to-Make-a-Computer-Operating-System

  How to Make a Computer Operating System in C++

  Language:C21.5k3.4k

• mflatt/plai-typed

  Language:Racket5114

• samth/gradual-typing-bib

  A bibliography on Gradual Typing

  Language:Racket24922

• crista/exercises-in-programming-style

  Comprehensive collection of programming styles using a simple computational task, term frequency

  Language:Python2k554

• webyrd/TAPL-in-miniKanren-cKanren-core.logic

  Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

  Language:Scheme357

• gasche/icfp2013-papers

  List of ICFP'13 accepted papers, with links to preprint or additional information when available

  7217

• toddaaro/advanced-dan

  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"

  Language:Scheme137

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k644

• barak/stalin

  stalin brutally optimizing Scheme compiler, with Debianization patches

  Language:C37924

• eudoxia0/corvus

  Low-level Lisp for LLVM

  Language:Common Lisp50117

• epsil/gll

  General Parser Combinators in Racket

  Language:HTML19512

• bootstrapworld/wescheme-compiler2012

  The WeScheme server compiler

  Language:Scheme414

• DefinitelyTyped/DefinitelyTyped

  The repository for high quality TypeScript type definitions.

  Language:TypeScript48.8k30.2k

• klange/toaruos

  A completely-from-scratch hobby operating system: bootloader, kernel, drivers, C library, and userspace including a composited graphical UI, dynamic linker, syntax-highlighting text editor, network stack, etc.

  Language:C6.1k487

• the-concurrent-schemer/scm

  [UNMAINTAINED] The Concurrent Schemer

  Language:Erlang1198

• dyoo/moby-scheme

  The Moby Scheme Compiler for Smartphones

  Language:Scheme538

• santoshrajan/lispyscript

  A javascript with Lispy syntax and macros

  Language:JavaScript57257

• klutometis/aima

  Solutions to AIMA (Artificial Intelligence: A Modern Approach)

  Language:Scheme15749

• cloudwu/cstring

  A simple C string lib

  Language:C352102

• part-cw/lambdanative

  LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt.

  Language:Scheme1.4k86

• UniMath/Foundations

  Voevodsky's original development of the univalent foundations of mathematics in Coq

  Language:Coq24120

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k193