Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Camelide

An interpreter for Dedukti written in OCaml.
Stars
6
License
mit
Open Issues
0
Most Recent Commit
10 years ago
Programming Language
OCaml
Categories
Repo
Suggest An Alternative To camelide
Popular Github Pages Projects
Popular Type Checking Projects
Closure Compiler ⭐ 7,175
A JavaScript checker and optimizer.
dependent packages 180total releases 135latest release November 13, 2023most recent commit 5 months ago
Ts Toolbelt ⭐ 6,503
👷 TypeScript's largest type utility library
dependent packages 973total releases 928latest release March 10, 2021most recent commit 2 years agonpm ts-toolbelt} Downloads
Ow ⭐ 3,740
Function argument validation for humans
dependent packages 457total releases 44latest release January 26, 2023most recent commit a year agonpm ow} Downloads
Thinc ⭐ 2,774
🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
dependent packages 67total releases 229latest release September 22, 2023most recent commit 6 months agopypi thinc} Downloads
Popular Content Management Categories
Wordpress
Content Management System
Slides
Jekyll
Wiki
Portfolio
Magento
Rss
Readme
Gatsby

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ocaml
Github Pages
Type Checking
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.