Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Maude Bindings

Language bindings for Maude
Stars
12
License
gpl-2.0
Open Issues
1
Most Recent Commit
4 months ago
Programming Language
SWIG
Monthly Downloads
pypi maude Downloads
Dependent Packages
1
Total Releases
14
Latest Release
January 03, 2023
Categories
Site
Repo
Suggest An Alternative To maude-bindings
Popular Bindings Projects
Vimium ⭐ 21,541
The hacker's browser.
most recent commit 3 months ago
Reactivecocoa ⭐ 19,955
Cocoa framework and Obj-C dynamism bindings for ReactiveSwift.
total releases 114latest release December 01, 2023most recent commit 3 months ago
Tree Sitter ⭐ 14,404
An incremental parsing system for programming tools
dependent packages 439total releases 144latest release April 09, 2023most recent commit 3 months agonpm tree-sitter-cli} Downloads
Popular Formal Methods Projects
Sled ⭐ 7,522
the champagne of beta embedded databases
dependent packages 292total releases 100latest release September 11, 2023most recent commit 3 months agocargo sled} Downloads
P ⭐ 2,845
The P programming language.
dependent packages 1total releases 3latest release April 04, 2023most recent commit 3 months agonuget PCheckerCore} Downloads
Hacl Star ⭐ 1,575
HACL*, a formally verified cryptographic library written in F*
dependent packages 2total releases 11latest release June 15, 2023most recent commit a month agonpm hacl-wasm} Downloads
Popular Libraries Categories
Plugin
Sdk
Bindings
Driver
Date
Adapter
Time
Location
Bridge
Wordpress Plugin
Related Searches
Python Language
Python Bindings
Python Language Bindings
Python Formal Methods
Python Model Checking
Formal Methods Model Checking
Language Formal Methods
Language Model Checking
Python Maude

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Language
Bindings
Formal Methods
Model 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.