Skip to content
View nickgian's full-sized avatar
28 followers · 17 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report nickgian

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

15 stars written in OCaml
Clear filter

ocaml / ocaml

The core OCaml system: compilers, runtime system, base libraries

OCaml 5,674 1,123 Updated Mar 5, 2025

ocaml-batteries-team / batteries-included

Batteries Included project

OCaml 524 107 Updated Jan 6, 2025

rdicosmo / parmap

Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.

OCaml 94 20 Updated Nov 14, 2024

NetworkVerification / nv

A Framework for Modeling and Analyzing Network Configurations

OCaml 33 3 Updated Feb 20, 2023

merlin-lang / merlin

The Merlin Network Management System

OCaml 21 8 Updated Aug 11, 2017

zoep / LazyOcaml

Lazyness in Ocaml with Syntax Extensions

OCaml 5 1 Updated May 3, 2013

zoep / CUTE-homework

Concolic testing for C programs

OCaml 4 3 Updated Nov 20, 2013

Qthan / alpaca

OCaml 4 3 Updated Nov 12, 2013

nickgian / ProjectEuler

Project Euler Problems in Some OCaml & Just Haskell

OCaml 3 1 Updated May 3, 2013

zoep / ProjectEuler

Forked from nickgian/ProjectEuler

Project Euler Problems in Some OCaml & Just Haskell

OCaml 2 Updated May 3, 2013

nickgian / alpaca

Forked from zoep/alpaca

Llama Compiler

OCaml 2 Updated Mar 6, 2014

zoep / alpaca

Forked from Qthan/alpaca

Llama Compiler for compilers course

OCaml 2 2 Updated Jun 13, 2016

nickgian / CUTE-homework

Forked from zoep/CUTE-homework

Concolic testing for C programs

OCaml 1 Updated Nov 18, 2013

nickgian / Euler-Lib

Forked from zoep/Euler-Lib

Complementary Library for Project Euler in OCaml

OCaml 1 Updated Nov 2, 2012

zoep / Euler-Lib

Complementary Library for Project Euler

OCaml 1 1 Updated Oct 23, 2012