Stars
Visual Studio Code extension for OCaml
The new Windows Terminal and the original Windows console host, all in the same place!
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
Brave browser for Android, iOS, Linux, macOS, Windows.
mirror of https://cygwin.com/git/?p=cygwin-apps/cygport.git DO NOT SUBMIT PULL REQUESTS. Submit patches via the mailing list cygwin-apps AT cygwin DOT com.
Modern and easy to use SQL client for MySQL, Postgres, SQLite, SQL Server, and more. Linux, MacOS, and Windows.
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
The continuation of the venerable JA2-Stracciatella project.
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
GitHub Action for the OCaml programming language
A Ruby Gem to detect under what license a project is distributed.
Command the forces of The Project in a battle to rebuild the world after mankind has been nearly destroyed by nuclear missiles. A 100% free and open source real-time strategy game for Windows, macO…
The user-friendly command line shell.
Beautiful and accessible math in all browsers
The core OCaml system: compilers, runtime system, base libraries
An OCaml library for HTTP clients and servers using Lwt or Async
Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A mixture of tooling combined to produce JavaScript from OCaml & Reason
Main public package repository for opam, the source package manager of OCaml.