Block or report user

Report or block Bronsa

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
Pro

Organizations

@clojure @distro @carthy @AestheticIntegration @oneironaut

Automated reasoning for React/ReasonML

OCaml 71 2 Updated Feb 8, 2019

Coroutine support for clojure

Clojure 84 1 Updated Dec 3, 2018

Modular SMT solver in rust

Rust 7 Updated Feb 15, 2019

Code from the 2018 Denver Clojure Meetup

Clojure 24 1 Updated Oct 18, 2018

[toy wip] A chain with lots of lemmas. More specifically, a logic programming engine.

OCaml 4 Updated Aug 29, 2018

An operating system written in Common Lisp

Common Lisp 1,627 109 Updated Jan 26, 2019

Cliff Click Language Hacking

Java 126 8 Updated Feb 14, 2019

A modular sat/smt solver with proof output.

OCaml 46 5 Updated Feb 16, 2019

Implementations of the Kanren family of relational programming languages, in Clojure.

Clojure 6 Updated Sep 28, 2016

The Qua programming language main repository

11 Updated Jan 19, 2018

GraalVM: Run Programs Faster Anywhere 🚀

Java 7,832 481 Updated Feb 16, 2019

Imandra Contracts - Formal verification of smart contracts

OCaml 24 1 Updated Nov 1, 2016

Imandra tutorials

2 Updated Dec 5, 2016

Imandra Protocol Language VS Code Plugin

5 1 Updated Nov 29, 2018

Work on fully expansive verification of MetiTarski proofs

Standard ML 1 Updated Sep 22, 2017

Imandra Modelling Language CME MDP Model

Jupyter Notebook 8 1 Updated Nov 1, 2017

Documentation for imandra

HTML 3 1 Updated Jan 24, 2019

Imandra Protocol Language example models

9 1 Updated Jan 21, 2019

Imandra FIX Engine

Shell 26 2 Updated Feb 13, 2019

OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover

OCaml 7 Updated Nov 29, 2017

clojure.org site

HTML 172 147 Updated Feb 16, 2019

Bash-like shell based on Clojure

Clojure 1,104 28 Updated Feb 3, 2019

LaTTe : a Laboratory for Type Theory experiments (in clojure)

Clojure 180 9 Updated Feb 16, 2019

The Official Shen Sources

Shen 150 25 Updated Jan 15, 2019

The Lux Programming Language

Clojure 1,016 40 Updated Feb 14, 2019

Infer Clojure specs from sample data. Inspired by F#'s type providers.

Clojure 404 15 Updated Nov 2, 2018

impure functional data structures

Java 705 29 Updated Jan 8, 2019

Symbolic MSIL bytecode generation for ClojureCLR

Clojure 46 3 Updated Feb 14, 2019

Morgan And Grand Iron Clojure

Clojure 147 7 Updated May 20, 2018

reducible collections, transducing ops and other fast things

Clojure 6 Updated Nov 30, 2014