Name: Nicola Mometto
Type: User
Company: @imandra-ai
Bio: Working at https://imandra.ai, building algorithmic verification tools in ocaml using formal methods. @clojure core contributor, contrib author
Twitter: Bronsa_
Location: London
.emacs.d
batsat
A Rust SAT solver originally based on MiniSat
blind
A clojure reader implemented in clojure
brochure
[ABANDONED]Experimental implementation of clojure in clojure, WIP
bronsa-overlay
My own personal git portage overlay
cinc
[MOVED] Clojure compiler in Clojure
clj-usage-graph
Haxy usage graphs for Clojure projects
cljs-1.9.473-regression
clojure
The Clojure programming language
colorize
A simple library to colorize console output
core.async
Facilities for async programming and communication in Clojure
dotfiles
my dotfiles
eastwood
frappongo
LOLCLOJURE
lastgraph
plot last.fm scrobbles
merlin
Context sensitive completion for OCaml in Vim and Emacs
neurotic
Traits support to clojure's deftype and defrecord, as a library
ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (bigarrays, unix, etc.) BSD license.
ocaml-decoders
Elm-inspired decoders for Ocaml
ocaml-linenoise
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
om
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
opam-depext
Attempt to automate the installation of system packages required by OPAM packages
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
penumbra
idiomatic opengl bindings for clojure
pwl-ukanren-talk
reason-react
Reason bindings for ReactJS
telegram-purple
Adds support for Telegram to Pidgin, Adium, Finch and other Libpurple based messengers.
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
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
