petarvukmirovic's Stars
microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
mongodb/mongo
The MongoDB Database
dotnet/roslyn
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
antlr/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
pouchdb/pouchdb
:kangaroo: - PouchDB is a pocket-sized database.
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
neo4j/neo4j
Graphs for Everyone
AbsInt/CompCert
The CompCert formally-verified C compiler
com-lihaoyi/fastparse
Writing Fast Parsers Fast in Scala
c-cube/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
vprover/vampire
The Vampire Theorem Prover
sneeuwballen/zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
eprover/eprover
c-cube/iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
codecov/timestring
Making time easier since "Jan 17th, 2013 at 3:59pm"
wrog/lambdamoo
LambdaMOO's LambdaMOO source
c-cube/oseq
Purely functional iterators compatible with standard `seq`.