Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Lua Redex Model

Mechanization in PLT Redex of the Lua's semantics described in "Decoding Lua: Formal Semantics for the Developer and the Semanticist"
Stars
6
License
No license specified
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
Racket
Categories
Repo
Alternatives To Lua Redex Model
Select To Compare
Puppeteer ⭐ 87,017
Node.js API for Chrome
dependent packages 15,686total releases 851most recent commit 2 days agonpm puppeteer} Downloads
Bitcoin ⭐ 73,537
Bitcoin Core integration/staging tree
total releases 2most recent commit 4 months ago
Hoppscotch ⭐ 59,845
👽 Open source API development ecosystem - https://hoppscotch.io
dependent packages 2total releases 11most recent commit a month agonpm @hoppscotch/cli} Downloads
Cypress ⭐ 45,684
Fast, easy and reliable testing for anything that runs in a browser.
dependent packages 6,143total releases 224most recent commit 4 months agonpm cypress} Downloads
Jest ⭐ 43,510
Delightful JavaScript Testing.
dependent packages 252,188total releases 352most recent commit a month agonpm jest} Downloads
Vault ⭐ 29,193
A tool for secrets management, encryption as a service, and privileged access management
dependent packages 2,141total releases 1,002most recent commit 4 months ago


Suggest An Alternative To lua-redex-model
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Testing
Lua
Racket
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.