hasantouma

hasantouma's Stars

• gollum/gollum

  A simple, Git-powered wiki with a local frontend and support for many kinds of markup and content.

  Language:Ruby13.7k1.6k

• janestreet/sexplib

  Automated S-expression conversion

  Language:OCaml14627

• ocaml-community/zed

  Abstract engine for text edition in OCaml

  Language:OCaml12116

• janestreet/parsexp

  S-expression parsing library

  Language:OCaml349

• anwarmamat/cmsc330summer19-public

  Language:OCaml35

• hazelgrove/hazel

  Hazel, a live functional programming environment with typed holes

  Language:Reason74449

• MagpieBridge/MagpieBridge

  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration

  Language:Java7526

• JetBrains/intellij-community

  IntelliJ IDEA Community Edition & IntelliJ Platform

  Language:Java17.1k5.2k

• jlfwong/fifteen-puzzle

  Implementation of Sliding 15 Puzzle with a Solver

  Language:CoffeeScript3811

• mirage/mirage

  MirageOS is a library operating system that constructs unikernels

  Language:OCaml2.5k244

• gelisam/klister

  an implementation of stuck macros

  Language:Haskell13011

• mvalle/ocaml-ofx

  OFX parser for OCaml

  Language:OCaml7

• hjalti/mossum

  Moss summarizer

  Language:Python18326

• c-cube/qcheck

  QuickCheck inspired property-based testing for OCaml.

  Language:OCaml34437

• JetBrains/resharper-unity

  Unity support for both ReSharper and Rider

  Language:C#1.2k133

• google/closure-compiler

  A JavaScript checker and optimizer.

  Language:Java7.4k1.1k

• capstone-rust/capstone-rs

  high-level Capstone system bindings for Rust

  Language:C21775

• rust-lang/rustlings

  :crab: Small exercises to get you used to reading and writing Rust code!

  Language:Rust52.6k10k

• 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.

  Language:OCaml204

• triska/the-power-of-prolog

  Introduction to modern Prolog

  Language:HTML1.2k71

• rodrigosetti/stamps

  A language for producing art

  Language:Racket1156

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly10k2.5k

• kitsune-dsu/kitsune-core

  Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.

  Language:C16227

• 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.

  145

• Scarygami/location-history-json-converter

  Convert the Location History JSON File from Google Takeout into a useable format

  Language:Python464117

• kanaka/kanaka.github.com

  User website repo

  2

• eliben/pycparser

  :snake: Complete C99 parser in pure Python

  Language:Python3.2k611

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml14.9k2k

• mirage/ocaml-diet

  A simple implementation of Discrete Interval Encoding Trees

  Language:OCaml288

• janestreet/base

  Standard library for OCaml

  Language:OCaml849124