Awesome Open Source

Programming Languages

Search results for editor ocaml

26 search results found

Native, lightweight modal code editor

Fstar ⭐ 2,522

A Proof-oriented Programming Language

Hazel, a live functional programming environment with typed holes

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh

Learn Reasonml Workshop ⭐ 235

Learn ReasonML with 24 exercises. No prior functional programming knowledge required.

Reasonnativeproject ⭐ 205

Reason native compilation starter project

Critical Reasonmling Slides ⭐ 70

An OCaml editor, top level, and learning place for iOS, iPadOS and macOS

Ocaml Top ⭐ 61

A simple cross-platform OCaml code editor built for top-level evaluation.

Jape, a configurable proof editor (best at natural deduction and sequent calculus)

Ocaml Annot ⭐ 39

OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)

Rescript Editor Support ⭐ 33

Command line to support editor integration for Rescript.

Pragma is a self-hosted, open-source, personal note taking app.

Reason Workshop ⭐ 31

Workshop materials and exercise

Ocamleditor ⭐ 26

OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API reference directly from the editor and compiling projects. Runs on Linux and Windows.

Gopcaml Mode ⭐ 21

[MIRROR] Ultimate Ocaml Editing Mode

Interactive Natural Deduction ⭐ 19

An editor for interactively building natural deduction proofs

Imageflow ⭐ 14

A node-based image editor for Mac OS X.

Dev Setup ⭐ 11

Instructions for setting up a development environment for our meetups

Ocaml Xi Rope ⭐ 10

xi-editor data structures in OCaml

Modal Editing Witch

Marvel Reasonml ⭐ 8

Line editor, a la rlwrap (but written in OCaml)

Glitch Reason React ⭐ 6

Create React App + ReasonReact meets Glitch!

Line editor (fork of ledit)

A command-line text editor in OCaml.

Related Searches

Javascript Editor (14,446)

Reactjs Editor (3,427)

Python Editor (1,948)

Typescript Editor (1,854)

Html Editor (1,323)

Java Editor (1,311)

C Plus Plus Editor (1,268)

Markdown Editor (1,094)

Editor Vim (563)

Ocaml Reasonml (475)

1-26 of 26 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.