Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Electrolysis

Simple verification of Rust programs via functional purification
Stars
238
License
other
Open Issues
2
Most Recent Commit
7 years ago
Programming Language
Lean
Categories
Repo
Alternatives To Electrolysis
Select To Compare
Rxswift ⭐ 24,043
Reactive Programming in Swift
total releases 78most recent commit 3 months ago
Mostly Adequate Guide ⭐ 23,142
Mostly adequate guide to FP (in javascript)
dependent packages 2total releases 6most recent commit 5 months agonpm @mostly-adequate/support} Downloads
Bubbletea ⭐ 22,076
A powerful little TUI framework 🏗
dependent packages 1,027total releases 136most recent commit 3 months ago
Lo ⭐ 14,466
💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)
dependent packages 1,196total releases 55most recent commit 3 months ago
Tachyons ⭐ 11,463
Functional css for humans
dependent packages 281total releases 90most recent commit 8 months agonpm tachyons} Downloads


Suggest An Alternative To electrolysis
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd

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