🇺🇸 Made in United States

Discover United States's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United States.

opencog/opencog

A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)

JeffBezanson/femtolisp

a lightweight, robust, scheme-like lisp implementation

eholk/harlan

A language for GPU computing.

mwand/eopl3

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

webyrd/Barliman

Prototype smart text editor

vyzo/gerbil

namin/inc

an incremental approach to compiler construction

shirok/Gauche

Scheme Scripting Engine

justinethier/cyclone

🌀 A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system capable of generating fast native binaries.

cloudkj/layer

Neural network inference the Unix way

ChrisTitusTech/Debian-titus

Debian customizations from Chris Titus Tech

scheme/scsh

A Unix shell embedded in scheme

akeep/scheme-to-c

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

akeep/nanopass-framework

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

jasonhemann/microKanren

The implementation of microKanren, a featherweight relational programming language

NalaGinrut/artanis

Abandoned, please visit https://gitlab.com/NalaGinrut/artanis

qiao/sicp-solutions

My solutions to Structure and Interpretation of Computer Programs

samrushing/irken-compiler

Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.

SystemCrafters/guix-installer

A GNU Guix installer image with the full Linux kernel!

dustmop/co2

Lispy language for creating NES / Famicom software

webyrd/miniKanren-with-symbolic-constraints

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

klutometis/aima

Solutions to AIMA (Artificial Intelligence: A Modern Approach)

GNOME/gtkmm

Read-only mirror of https://gitlab.gnome.org/GNOME/gtkmm

apple/pkl-neovim

Pkl language support for Neovim

michaelballantyne/faster-minikanren

A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

justinmeiners/lisp-interpreter

Embeddable lisp/scheme interpreter written in C.

webyrd/miniKanren

Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.

webyrd/quines

Relational interpreter in miniKanren that can generate quines

eholk/elegant-weapons

An R6RS framework for creating compilers that target C.

thieman/korhal

SC:BW Terran AI using JNIBWAPI and Clojure

shanecelis/emacsy

An embeddable Emacs-like library for GNU Guile Scheme

akeep/scheme-to-llvm

A compiler to compile a simple subset of scheme to LLVM 10

jlongster/gambit-iphone-example

An example iphone app which uses Gambit Scheme.

aconchillo/guile-json

JSON module for Guile

ar-nelson/schemepunk

A batteries-included extended standard library for seven R7RS Scheme dialects.

opencog/learn

Neuro-symbolic interpretation learning (mostly just language-learning, for now)

jimweirich/sicp-study

Study Group Worked Exercises from "The Structure and Interpretation of Computer Programs"

samth/disassemble

Disassembler for Racket

felipap/sicp-code

Digitized code from MIT's 1986 SICP video lectures.

cky/guile

keyz/p423-compiler

A Scheme to x86-64 compiler in Scheme

ChrisTitusTech/Fedora-Titus

WIP - My dotfiles for Fedora - Not ready for the masses

n3mo/massmine

Your Access To Data

annblodgett/TeachYourselfCS

Following the curriculum from https://teachyourselfcs.com/

AlexCharlton/Hypergiant

An OpenGL-based game library for CHICKEN Scheme

davexunit/guile-2d

2D game programming library for GNU Guile - *OBSOLETE - try my new library named Chickadee*

joeltg/mit-scheme-kernel

Jupyter Kernel for MIT Scheme

jaredly/unison.rs

GNOME/glibmm

Read-only mirror of https://gitlab.gnome.org/GNOME/glibmm

GNOME/gstreamermm

Read-only mirror of https://gitlab.gnome.org/GNOME/gstreamermm

webyrd/probKanren

Probabilistic miniKanren

darius/cant

A programming argot

kstephens/tinyclos

Tiny CLOS for Scheme: from ftp://ftp.parc.xerox.com/pub/mops/tiny/

ebeem/guile-swayer

Extensible Guile bindings for SwayWM

ChrisTitusTech/ubuntu-titus

Conservatory/s7

abarbu/android-kawa

Examples of Android applications written in Kawa scheme

dyoo/moby-scheme

The Moby Scheme Compiler for Smartphones

webyrd/miniKanren-uncourse

Code, wiki, and resources for the weekly miniKanren uncourse

namin/pink

Collapsing Towers of Interpreters (in Scheme)

webyrd/untitled-relational-interpreter-book

Relational Programming in miniKanren

JustinCarmony/vagrant-salt-example

Simple Masterless Skeleton example

mjlbach/babelfish.nvim

The answer to the ultimate question is :help 42

psholtz/MIT-SICP

Problems and Projects from the legendary MIT 6.001 Purple Book.

EntropyWorks/salt-openstack

Using salt to install OpenStack on Ubuntu 12.04.2.

namin/propagators

the Art of the Propagator

charlesflynn/agiledata

Builds a data science work environment for Russell Jurney's book Agile Data Science.

mikea/scheme-llvm

masukomi/private_comments

a tool for managing private comments on, but not in, your files

klutometis/clrs

Solutions to "Introduction to Algorithms" by Cormen, Leiserson, Rivest, Stein (CLRS)

technomancy/skaro

comparative lispology

kmcallister/qoppa

Metacircular evaluator for a tiny fexpr language

webyrd/relational-parsing-with-derivatives

Relational version of parsing with derivatives code

jlongster/swank-gambit

Gambit swank backend for SLIME

scheme/edwin48

MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH

ryanwachtl/silverstripe-foundation-theme

A SilverStripe prototyping theme based on Foundation 5

qobi/R6RS-AD

Forward and Reverse Mode Automatic Differentiation (AD) in R6RS Scheme plus extensions to support nondeterministic and stochastic programming

shirok/Gauche-LoL

Source code in "Land of Lisp", ported to Gauche

sgrove/tehila

A 3d engine for Scheme

canadaduane/my-pop-os-conf

My Pop!_OS configuration

gdamore/tree-sitter-d

D Grammar for Tree Sitter

NalaGinrut/guile-colorized

colorized REPL for GNU Guile

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

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

namin/clpsmt-miniKanren

CLP(SMT) on top of miniKanren

aconchillo/guilescript

Guile to JavaScript compiler

samrocketman/home

This is a git repository for my home directory - encryption and other helpful scripts

blast-hardcheese/blast-salt-states

shirok/Gauche-makiki

A simple multithreaded http server

chekolyn/cis-saltstack

RHEL6 CIS(Center for Internet Security) Linux Benchmark implementation for SaltStack

steven741/chez-sdl

SDL 2 interface for chez-scheme.

schani/jscreme

A self-hosting Scheme to JavaScript compiler

webyrd/webmk

miniKanren for interactive tutorials on the web

webyrd/slpKanren

Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren

namin/metamk

Meta-Interpreters in miniKanren

mpacula/Scheme-Power-Tools

An assorted collection of Scheme utilities. Implements native monads, pattern matching, generic operator dispatch, serialization, event handling, memoization, suffix trees, among other things. It started as an attempt to add functionalities I missed from other languages such as Haskell, and eventually grew into a larger library. I hope you find it useful - I certainly have!

pavenvivek/Compiler-for-Scheme

The compiler for subset of scheme developed as part of P523

vyzo/gerbil-simsub

A gossipsub protocol simulator

jasonhemann/miniKanren

An outdated miniKanren implementation with a not-pairo constraint

mattwparas/helix-config

abdulapopoola/SICPBook

Solutions to SICP book exercises