keigoi

keigoi's Stars

• ocaml/ocaml

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

  Language:OCaml5.6k2087.5k1.1k

• leostera/caramel

  :candy: a functional language for building type-safe, scalable, and maintainable applications

  Language:OCaml1.1k256625

• ianh/owl

  A parser generator for visibly pushdown languages.

  Language:C748193522

• ocaml/setup-ocaml

  GitHub Action for the OCaml programming language

  Language:TypeScript201815440

• tpitale/mail_room

  Forward mail from gmail IMAP to a callback URL or job worker, simply.

  Language:Ruby19566250

• mransan/ocaml-protoc

  A Protobuf Compiler for OCaml

  Language:OCaml17978233

• hatashiro/lens.ts

  TypeScript Lens implementation with property proxy

  Language:TypeScript1443015

• maude-lang/Maude

  Language based on Rewriting Logic

  Language:C++93111011

• thierry-martinez/metapp

  Meta-preprocessor for OCaml

  Language:OCaml77869

• tiansiyuan/SQA

  Software Quality Assurance

  Language:CSS5632145

• jfecher/algorithm-j

  A minimal implementation of Hindley-Milner's Algorithm J in OCaml

  Language:OCaml55313

• ushitora-anqou/waq

  Yet another ActivityPub server implementation written in OCaml

  Language:OCaml46502

• avsm/ocaml-print-intf

  Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form

  Language:OCaml41677

• tomokinakamaru/silverchain

  Fluent API generator

  Language:Java401254

• LexiFi/lrt

  LexiFi runtime types

  Language:OCaml321233

• mjambon/dum

  Print OCaml values based on their runtime representation

  Language:OCaml29414

• EduardoRFS/ppx_let_locs

  improving stack trace for let monadic

  Language:OCaml27320

• nuscr/nuscr

  A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.

  Language:OCaml2755713

• nojb/ocaml-obj-printer

  Language:OCaml20500

• EduardoRFS/ocaml-migrate-types

  Convert OCaml Types between different major versions

  Language:OCaml13431

• nickstenning/imaprelay

  An IMAP-to-SMTP relay, for tedious email services that don't allow forwarding.

  Language:Python128

• emtst/emtst-proof

  A subject reduction proof for binary session types

  Language:Coq101

• alswl/imap-auto-forward

  reading email message by IMAP/EXCHANGE protocol, forward(origin message) to another by SMTP protocol / sendmail

  Language:Python9222

• Noddy76/mailmover

  Forward email from an IMAP account to another account (such as GMail)

  Language:Java8201

• toots/ocaml-sys-socket

  [DEPRECATED] OCaml ctypes bindings to system-specific low-level socket structure and data-types.

  Language:OCaml8400

• selfhosting-tools/imap2smtp

  IMAP to SMTP forwarder

  Language:Python3321

• ahmaddorra/Scrumdinger

  Scrumdinger App: An iOS app that helps users manage their daily scrums. It uses visual and audio cues and creates a transcript (using Speech Recognition)... Technologies used: Swift & SwiftUI.

  Language:Swift21

• fangyi-zhou/mpst-in-agda

  Language:Agda231

• johnwhitington/tppx_showtype

  Example typed PPX

  Language:OCaml230

• abate/opam-cross-ios

  An OCaml cross-toolchain for iOS and several useful libraries

  Language:Shell1101