Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for contracts racket

contracts x
racket x
1 search results found
Steel ⭐ 700
An embedded scheme interpreter in Rust
Pyramid Scheme ⭐ 228
Pyramid is a language to create Ethereum smart contracts
Contracts.js ⭐ 145
Contract library for JavaScript
Soft Contract ⭐ 24
A prototype of soft contract verification for an untyped functional language
Corpse Reviver ⭐ 20
Sound and efficient gradual typing via contract verification.
Pcf ⭐ 17
PCF with Contracts and Symbolic Values
Sugar ⭐ 16
Functions that improve the readability of (my) Racket code
Contract Repl ⭐ 7
An experiment with the REPL & contracts
Struct Plus Plus ⭐ 6
A Racket library for creating structs with contracts, defaults, wrapper functions, etc
Acquire ⭐ 6
implementing an Acquire game
Bezier ⭐ 5
Racket Utils ⭐ 5
Related Searches
Javascript Contracts (4,916)
Contracts Ethereum (3,405)
Contracts Solidity (2,350)
Blockchain Contracts (2,244)
Contracts Truffle (1,509)
Token Contracts (1,494)
Solidity Smart Contracts (1,297)
Contracts Dapp (1,120)
Typescript Contracts (700)
Python Contracts (679)
1-1 of 1 search results
Privacy | About | Terms | Follow Us On Twitter

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