gr-im

gr-im's Stars

• cheeaun/phanpy

  A minimalistic opinionated Mastodon web client

  Language:JavaScript94485

• gr-im/site

  My personal site, generator and content

  Language:OCaml3

• altsem/gitu

  A TUI Git client inspired by Magit

  Language:Rust1.6k86

• robur-coop/happy-eyeballs

  An implementation of happy eyeballs (RFC 8305) in OCaml with lwt

  Language:OCaml224

• polyml/polyml

  Poly/ML

  Language:Standard ML48043

• AeneasVerif/aeneas

  A verification toolchain for Rust programs

  Language:OCaml16315

• PizieDust/oculator

  A GUI Calculator in OCaml

  Language:OCaml6

• robur-coop/utime

  Language:C2

• Veltas/zenv

  Forth for the ZX Spectrum

  Language:Assembly291

• ocaml-ppx/ppx_deriving

  Type-driven code generation for OCaml

  Language:OCaml45285

• robur-coop/ohex

  Hexadecimal encoding and decoding, mirror of https://git.robur.coop/robur/ohex

  Language:OCaml10

• tarides/notafs

  Not a filesystem for Mirage block devices

  Language:OCaml222

• ocaml-multicore/ocaml-effects-tutorial

  Concurrent Programming with Effect Handlers

  Language:OCaml64837

• reynir/banawa-chat

  SSH chat server using trust on first use for user registration

  Language:OCaml29

• mirage/irmin

  Irmin is a distributed database that follows the same design principles as Git

  Language:OCaml1.8k154

• CharlesAverill/zenith

  A wireframe renderer written in OCaml

  Language:OCaml20

• Smallibs/maitar

  Rust library providing some functional programming idioms

  Language:Rust4

• mirage/mirage

  MirageOS is a library operating system that constructs unikernels

  Language:OCaml2.5k242

• mirage/mirage-crypto

  Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)

  Language:C7542

• funkywork/yourbones

  A companion library for writing applications on Tezos (in OCaml)

  Language:OCaml17

• Octachron/talaria_bibtex

  A bibtex file parser

  Language:OCaml21

• lambe-lang/mitch

  Compilation of an extended lambda-calculus to Michelson

  Language:OCaml6

• funkywork/nightmare

  A set of components that fit, a priori, relatively well with the web framework (OCaml) Dream to try to build, at best, and quickly, dynamic web applications.

  Language:OCaml472

• marigold-dev/breathalyzer

  A simple test framework for Ligo Lang

  Language:LigoLANG124

• xvw/capsule

  Micro blogging for fun and profit

  Language:OCaml83

• stedolan/counterexamples

  Counterexamples in Type Systems

  Language:JavaScript35823

• xvw/muhokama

  A simple forum built on top of Dream, Caqti, Omd, Preface, Cmdliner and other useful OCaml libraries

  Language:OCaml567

• dinosaure/esperanto

  build-once run-anywhere OCaml programs

  Language:C1163

• BastienDuplessier/jeanmichelbackend.blog

  Just a random blog about whatever.

  Language:OCaml2

• dinosaure/blogger

  The source code of the generator and the content of blog.osau.re

  Language:OCaml52