Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Stars
75
License
bsd-2-clause
Open Issues
20
Most Recent Commit
5 months ago
Programming Language
OCaml
Categories
Repo
Suggest An Alternative To dolmen
Popular Lsp Projects
Coc.nvim ⭐ 23,671
Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.
dependent packages 371total releases 110latest release August 31, 2023most recent commit 3 months agonpm coc.nvim} Downloads
Graphiql ⭐ 15,491
GraphiQL & the GraphQL LSP Reference Ecosystem for building browser & IDE tools.
dependent packages 222total releases 471latest release November 20, 2023most recent commit 3 months agonpm graphiql} Downloads
Swift Package Manager ⭐ 9,494
The Package Manager for the Swift Programming Language
latest release March 31, 2023most recent commit 3 months ago
Popular Functor Projects
Language Ext ⭐ 6,022
C# functional language extensions - a base class library for functional programming
dependent packages 203total releases 454latest release October 21, 2023most recent commit 3 months agonuget LanguageExt.Core} Downloads
Crocks ⭐ 1,541
A collection of well known Algebraic Data Types for your utter enjoyment.
dependent packages 86total releases 36latest release September 22, 2019most recent commit 2 years agonpm crocks} Downloads
Purify ⭐ 1,462
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
dependent packages 52total releases 40latest release June 05, 2023most recent commit 3 months agonpm purify-ts} Downloads
Witchcraft ⭐ 1,169
Monads and other dark magic for Elixir
dependent packages 3total releases 17latest release January 29, 2022most recent commit 8 months agohex witchcraft} Downloads
Popular Integrated Development Environments Categories
Xcode
Vscode
Ide
Atom Editor
Eclipse
Visual Studio
Vscode Extension
Intellij
Android Studio
Anaconda
Related Searches
Language Ocaml
Language Lsp
Ocaml Functor

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Language
Ocaml
Lsp
Functor
Typechecker
Theorem Proving
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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