bassjacob

bassjacob's Stars

• ocaml/merlin

  Context sensitive completion for OCaml in Vim and Emacs

  Language:OCaml1.6k233

• tomprimozic/type-systems

  Implementations of various type systems in OCaml.

  Language:OCaml1.5k71

• ocaml/ocaml

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

  Language:OCaml5.5k1.1k

• reasonml/reason

  Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

  Language:OCaml10.1k428

• aantron/markup.ml

  Error-recovering streaming HTML5 and XML parsers

  Language:OCaml14616

• janestreet/base

  Standard library for OCaml

  Language:OCaml863126

• reasonml/reason-react

  Reason bindings for ReactJS

  Language:Raku3.3k348

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k650

• ocsigen/lwt

  OCaml promises and concurrent I/O

  Language:OCaml714176

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k233

• reasonml-old/reason-react-example

  Examples for ReasonReact

  Language:JavaScript649116

• alex-e-leon/npm-prestige

  Language:JavaScript141

• strapi/strapi

  🚀 Strapi is the leading open-source headless CMS. It’s 100% JavaScript/TypeScript, fully customizable, and developer-first.

  Language:TypeScript63.7k8.1k

• glennsl/bucklescript-cookbook

  A collection of simple examples showcasing the BuckleScript ecosystem

  39120

• skatejs/ssr

  Your one-stop shop for testing and rendering web components on the server.

  Language:JavaScript13710

• glennsl/checkmarked

  Extracts code blocks from markdown files, then runs checks based on language

  Language:JavaScript63

• asr/fotc

  Agda formalisation of FOTC (First-Order Theory of Combinators).

  Language:Agda112

• reasonml/reason-cli

  Globally installable Reason toolchain.

  Language:Makefile29023

• funkia/turbine

  Purely functional frontend framework for building web applications

  Language:TypeScript68527

• kamranahmedse/developer-roadmap

  Interactive roadmaps, guides and other educational content to help developers grow in their careers.

  Language:TypeScript297k39.1k

• IndiscriminateCoding/clarity

  Functional programming library for OCaml

  Language:OCaml604

• remarkjs/react-markdown

  Markdown component for React

  Language:JavaScript13.2k874

• vramana/awesome-reasonml

  A collection of awesome things regarding Reason/OCaml ecosystem.

  1.5k81

• reasonml-old/reason-react

  Language:OCaml63241

• IwanKaramazow/FastReplaceString

  Fast C native replacement of a string in a file

  Language:JavaScript115

• primefaces/primereact

  The Most Complete React UI Component Library

  Language:CSS6.9k1k

• dvcrn/proton

  space-atom. spacemacs and sublimious style editing in atom

  Language:Clojure56555

• sbdchd/neoformat

  :sparkles: A (Neo)vim plugin for formatting code.

  Language:Vim Script2k189

• kennetpostigo/qnd

  Quick and Dirty development builds

  Language:C++19

• reasonml-old/wiki

  All BuckleScript & BuckleTypes related questions

  84