hasantouma's Stars
gollum/gollum
A simple, Git-powered wiki with a local frontend and support for many kinds of markup and content.
janestreet/sexplib
Automated S-expression conversion
ocaml-community/zed
Abstract engine for text edition in OCaml
janestreet/parsexp
S-expression parsing library
anwarmamat/cmsc330summer19-public
hazelgrove/hazel
Hazel, a live functional programming environment with typed holes
MagpieBridge/MagpieBridge
MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
JetBrains/intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
jlfwong/fifteen-puzzle
Implementation of Sliding 15 Puzzle with a Solver
mirage/mirage
MirageOS is a library operating system that constructs unikernels
gelisam/klister
an implementation of stuck macros
mvalle/ocaml-ofx
OFX parser for OCaml
hjalti/mossum
Moss summarizer
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
JetBrains/resharper-unity
Unity support for both ReSharper and Rider
google/closure-compiler
A JavaScript checker and optimizer.
capstone-rust/capstone-rs
high-level Capstone system bindings for Rust
rust-lang/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
OCamlPro/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
triska/the-power-of-prolog
Introduction to modern Prolog
rodrigosetti/stamps
A language for producing art
kanaka/mal
mal - Make a Lisp
kitsune-dsu/kitsune-core
Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.
correctcomputation/checkedc-clang
This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
Scarygami/location-history-json-converter
Convert the Location History JSON File from Google Takeout into a useable format
kanaka/kanaka.github.com
User website repo
eliben/pycparser
:snake: Complete C99 parser in pure Python
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
mirage/ocaml-diet
A simple implementation of Discrete Interval Encoding Trees
janestreet/base
Standard library for OCaml