Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Techelson

A test execution engine for Michelson smart contracts.
Stars
15
License
No license specified
Open Issues
0
Most Recent Commit
5 years ago
Programming Language
OCaml
Categories
Site
Repo
Alternatives To Techelson
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Manticore3,535pypi manticore} Downloads119 months ago1,137December 09, 2023264agpl-3.0Python
Symbolic execution tool
Echidna2,587
a month ago1September 07, 2022142agpl-3.0Solidity
Ethereum smart contract fuzzer
Remix Project2,188npm @remix-project/remixd} Downloads335 months ago44December 01, 2023767mitTypeScript
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Swc Registry805
8 months ago8mit
Smart Contract Weakness Classification and Test Cases
Damn Vulnerable Defi Foundry406
a year ago4mitSolidity
Damn Vulnerable DeFi - Foundry Version
Scilla238
a year ago137gpl-3.0OCaml
Scilla - A Smart Contract Intermediate Level Language
Web3 Bootcamp233
a year agoSolidity
Open-Sourced Turkish Smart Contract Developer Bootcamp by ITU Blockchain
Boilerplate224
5 months ago13mitTypeScript
sCrypt project boilerplate
Prb Test162npm @prb/test} Downloads65 months ago17October 04, 20232mitSolidity
Modern collection of testing assertions and logging utilities for Solidity
Vertigo148
a year ago17January 31, 202116lgpl-3.0Python
Mutation Testing for Ethereum Smart Contracts
Alternatives To Techelson
Select To Compare
Manticore ⭐ 3,535
Symbolic execution tool
dependent packages 1total releases 1,137most recent commit 9 months agopypi manticore} Downloads
Echidna ⭐ 2,587
Ethereum smart contract fuzzer
total releases 1most recent commit a month ago
Boilerplate ⭐ 224
sCrypt project boilerplate
most recent commit 5 months ago
Prb Test ⭐ 162
Modern collection of testing assertions and logging utilities for Solidity
dependent packages 6total releases 17most recent commit 5 months agonpm @prb/test} Downloads
Vertigo ⭐ 148
Mutation Testing for Ethereum Smart Contracts
total releases 17most recent commit a year ago


Suggest An Alternative To techelson
Alternative Project Comparisons
Techelson vs Manticore
Techelson vs Echidna
Techelson vs Remix Project
Techelson vs Swc Registry
Techelson vs Damn Vulnerable Defi Foundry
Techelson vs Scilla
Techelson vs Web3 Bootcamp
Techelson vs Boilerplate
Techelson vs Prb Test
Techelson vs Vertigo
Popular Testing Projects
Puppeteer ⭐ 87,527
Node.js API for Chrome
dependent packages 15,686total releases 851latest release December 06, 2023most recent commit 6 hours agonpm puppeteer} Downloads
Storybook ⭐ 83,209
Storybook is a frontend workshop for building UI components and pages in isolation. Made for UI development, testing, and documentation.
dependent packages 26,487total releases 1,044latest release December 02, 2023most recent commit 8 days agonpm @storybook/addon-essentials} Downloads
Bitcoin ⭐ 73,537
Bitcoin Core integration/staging tree
total releases 2latest release June 21, 2021most recent commit 5 months ago
Playwright ⭐ 62,215
Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
dependent packages 3,117total releases 1,758latest release November 29, 2023most recent commit a month agonpm @playwright/test} Downloads
Popular Smart Contracts Projects
Openzeppelin Contracts ⭐ 24,266
OpenZeppelin Contracts is a library for secure smart contract development.
dependent packages 2,941total releases 81latest release December 08, 2023most recent commit a month agonpm @openzeppelin/contracts} Downloads
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Related Searches
Testing Contracts
Testing Stack
Testing Ocaml
Testing Smart Contracts
Smart Contracts Tezos
Contracts Ocaml
Contracts Tezos
Testing Inspection
Stack Ocaml
Stack Contracts

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Testing
Stack
Ocaml
Smart Contracts
Inspection
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.