martintrojer/symbolic-execution

Stars
24
Rank 986,245 (Top 20 %)
Language
C++
Created about 13 years ago
Updated over 11 years ago

martintrojer/symbolic-execution

martintrojer

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Applied Symbolic Execution with KLEE/LLVM

frinj

Practical unit-of-measure calculator DSL for Clojure / ClojureScript

pipejine

Flexible, Safe and Simple Multi-Consumer/Producer Clojure Pipelines

go-tutorials-core-async

Some go tutorials converted to core.async

datalog

contrib.datalog brought back to life

cljs-nodejs-coreasync-bootstrap

Scaffold setup for some ClojureScript, node.js, core.async action

scheme-scala

Interpreter of (a subset of) the Scheme programming language, in Scala

frins

A practical unit-of-measure calculator DSL for Scala

scheme-clojure

Scheme in Clojure

devbox

devbox-docker

Development environments in docker containers

simulant-bootstrap

Simulant bootstrap project

qemu-syborg

QEMU virtual platform, Symbian baseport (BSP) and tools

edn-scala

An EDN format reader/writer for Scala

reasoned-schemer-core.logic

Reasoned Schemer in core.logic

clojure-coreclr

Clojure running on the CoreCLR

atom-scala

Clojure-style Atoms for Scala

beyond-clojure

Code repo for Beyond Clojure blog series

dotfiles

scheme-fsharp

Interpreter of (a subset) Scheme in F#

realworldocaml

https://realworldocaml.org and http://ocaml.org/learn/tutorials/99problems.html

mtorrent

A fast, lightweight, head-less, curses based, configurable torrent client.

euroclojure-demo

Sources for the Xively EuropClojure demo

scheme-haskell

scheme-java

Scheme in Java8

mtorrent-go

Torrent client with a web-UI based on libtorrent-rasterbar

joplin

Flexible datastore migration and seeding for Clojure projects

cljmirror

A Clojure Web REPL, based on CodeMirror

martintrojer.github.com

Martin's Programming Blog

postgres-bootstrap

scheme-python

Hacky Scheme interpreter written in Python

jvm-mode.el

Monitor and manage your JVMs