Discover namin/dafny-sandbox Open Source project

LLM verified with Monte Carlo Tree Search

856

llm-verified-with-monte-carlo-tree-search

Python

197

dot

formalization of the Dependent Object Types (DOT) calculus

150

io.livecode.ch

interactive programming tutorials, powered by Github and Docker

staged relational interpreters: running with holes, faster

135

staged-miniKanren

Racket

124

logically

explorations in core.logic

Clojure

114

unsound

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala

Course on Metaprogramming

metaprogramming

Collapsing Towers of Interpreters (in Scheme)

pink

the Art of the Propagator

propagators

debugging biological networks to reach coherence, completeness and consistency

biohacker

Common Lisp

scalogno

prototyping logic programming in Scala

computer-aided harmony and counterpoint

metasolfeggio

clpsmt-miniKanren

CLP(SMT) on top of miniKanren

Meta-Interpreters in miniKanren

metamk

play-js-validation

generative programming & verification

lms-verify

lms-black

purple: compiling a reflective language

A Declarative Theorem Prover for First-Order Classical Logic

leanTAP

Workshop on Program Transformations

lambdajam

exploration of reflective architectures in Scheme

reflection-schemes

Graduated to js.scala: JavaScript as an embedded DSL in Scala

lms-sandbox

clpset-miniKanren

CLP(Set) in miniKanren

From Greek to Clojure, Clojure/conj 2013

grk2clj

TeX

minikanren-confo

core.logic.nominal at the minikanren confo 2013

Clojure

lua

reading and understanding the lua source code

blond

the reflective tower Blond by Olivier Danvy & Karoline Malmkjær

Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp

paip

linkrev

software archaeology of reflective towers of interpreters

reflective-towers

miniKanren for search, SMT for solving

mk-on-smt

various code snippets in various languages

spots

reflection-oriented programming

rop

Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.

3-proto-lisp

Common Lisp

lambda-cube

abi

Practical type inference for arbitrary-rank types

higher-rank

Haskell

lisp-variations

variations on lisp, exploring reflection

the reflective language(s) Brown by Dan Friedman and Mitch Wand

brown

explorations in neuro-symbolic differentiable interpreters

relaxed-machines

Python

Communication-Bootstrapping-v1

appendix of Jake Beal's master thesis (2002)

open, extensible composition models

lambda-calculus

OCaml

steps

Clojure

relational-virology

Synthesis of simple virus-like programs via relational interpreter.

Feeling Wheel 2.0: analyze your mood

feel2

TypeScript

refl-instr

reflective architectures that instrument and reify the computation steps

Course Project in Synthesis, Analysis and Verification in Scala

sav

a prose experiment in learning S-expression manipulations

SExp

neoflix-scala

A port of the Neo4j-based Movie Recommender to Scala & Play 2.0

JavaScript

scheme-mechanics

A modular module system by Xavier Leroy

modmod

OCaml

MusicalBubbles

Java

feel

Feel Wheel: analyze your mood

JavaScript

hallucinations

Original Code for Engineered Robustness by Controlled Hallucination (AAAI 2008) by Beal and Sussman

scalding-commoncrawl

Java

lms-regexp

Programming Microsoft Excel

excel4vivi

.emacs.d

Emacs Lisp

selfopt

prototyping self-optimizing systems

make scala virtualized great again

wip-scala-virtualized

ott_distro

Ott

OCaml

implicits-demo

Implicits in Practice (demo at ML Family Workshop 2014)

Automatically exported from code.google.com/p/micado

micado

C++

coq-sandbox

Coq

scheme2017

Website for Scheme Workshop 2017

InteractiveScheme

githubhop

lms-koika

playground

nothing to see: just to play with https://io.livecode.ch without breaking a live page

lms-prob

Proverbs from around the world and languages

world-proverbs

forest

experiments in diagrams