Bronsa
Working at https://imandra.ai, building algorithmic verification tools in ocaml using formal methods. @clojure core contributor, contrib author
@imandra-ai London
Pinned Repositories
blind
A clojure reader implemented in clojure
CinC
[MOVED] Clojure compiler in Clojure
neurotic
Traits support to clojure's deftype and defrecord, as a library
tools.analyzer.jvm.deps
Utility functions for clojure (static) code dependency analysis
tools.decompiler
A decompiler for clojure, in clojure
clojure
The Clojure programming language
tools.analyzer
An analyzer for Clojure code, written in Clojure and producing AST in EDN
tools.analyzer.jvm
Additional jvm-specific passes for tools.analyzer
tools.emitter.jvm
A JVM bytecode generator for ASTs compatible with tools.analyzer(.jvm)
tools.reader
Clojure reader in Clojure
Bronsa's Repositories
Bronsa/CinC
[MOVED] Clojure compiler in Clojure
Bronsa/tools.decompiler
A decompiler for clojure, in clojure
Bronsa/neurotic
Traits support to clojure's deftype and defrecord, as a library
Bronsa/tools.analyzer.jvm.deps
Utility functions for clojure (static) code dependency analysis
Bronsa/tools.decompiler-aot
Bronsa/clojure
The Clojure programming language
Bronsa/dotfiles
my dotfiles
Bronsa/pwl-ukanren-talk
Bronsa/tools.analyzer.jvm.index
Import tools.analyzer.jvm AST in Datomic
Bronsa/.emacs.d
Bronsa/batsat
A Rust SAT solver originally based on MiniSat
Bronsa/clj-usage-graph
Haxy usage graphs for Clojure projects
Bronsa/CLJS-1.9.473-regression
Bronsa/core.async
Facilities for async programming and communication in Clojure
Bronsa/eastwood
Bronsa/lastgraph
plot last.fm scrobbles
Bronsa/merlin
Context sensitive completion for OCaml in Vim and Emacs
Bronsa/ocaml-decoders
Elm-inspired decoders for Ocaml
Bronsa/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Bronsa/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Bronsa/tools.analyzer
An analyzer for Clojure code, written in Clojure and producing AST in EDN
Bronsa/tools.analyzer.jvm
additional jvm-specific passes for tools.analyzer
Bronsa/tools.reader
Clojure reader in Clojure
Bronsa/z3
The Z3 Theorem Prover
Bronsa/z3-oom-repro
Bronsa/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.
Bronsa/ocaml-linenoise
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
Bronsa/opam-depext
Attempt to automate the installation of system packages required by OPAM packages
Bronsa/reason-react
Reason bindings for ReactJS
Bronsa/telegram-purple
Adds support for Telegram to Pidgin, Adium, Finch and other Libpurple based messengers.