Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Smbc

Experimental model finder/SMT solver for functional programming.
Alternatives To Smbc
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
States_rebuilder483117a year ago86May 27, 202313otherDart
a simple yet powerful state management technique for Flutter
Cyklic88
7 years agoKotlin
A Cycle.js inspired Native Single-Atom-State Purely Functional Reactive Composable UI Component library for Android
Frp Ts74npm @frp-ts/utils} Downloads65 months ago22June 15, 202321mitTypeScript
Functional reactive values-over-time
Inferno Most Fp Demo45
6 years agoJavaScript
A demo for the ReactJS Tampa Bay meetup showing how to build a React+Redux-like architecture from scratch using Inferno, Most.js, reactive programmning, and various functional programming tools & techniques
Nedux44npm nedux} Downloads354 years ago22March 09, 20202mitJavaScript
📦 State manager - the next redux
Perfplot29
10 years ago2C++
tools to create performance and roofline plots from measured data
Redux Fluent28npm redux-fluent} Downloads13 years ago74February 09, 202015mitTypeScript
A Practical and Functional Redux Utility
Igti Fullstack Bootcamp23
3 years agoJavaScript
Repository containing all guided exercises and tasks completed during the course.
Smbc21
2 years ago2bsd-2-clauseOCaml
Experimental model finder/SMT solver for functional programming.
Tinytimerjs13
5 years agogpl-3.0JavaScript
Tiny and Powerful Library for show time counter.
Alternatives To Smbc
Select To Compare
States_rebuilder ⭐ 483
a simple yet powerful state management technique for Flutter
dependent packages 7total releases 86most recent commit a year ago
Frp Ts ⭐ 74
Functional reactive values-over-time
dependent packages 6total releases 22most recent commit 5 months agonpm @frp-ts/utils} Downloads
Nedux ⭐ 44
📦 State manager - the next redux
dependent packages 5total releases 22most recent commit 4 years agonpm nedux} Downloads
Redux Fluent ⭐ 28
A Practical and Functional Redux Utility
dependent packages 1total releases 74most recent commit 3 years agonpm redux-fluent} Downloads


Suggest An Alternative To smbc
Alternative Project Comparisons
Smbc vs States_rebuilder
Smbc vs Cyklic
Smbc vs Frp Ts
Smbc vs Inferno Most Fp Demo
Smbc vs Nedux
Smbc vs Perfplot
Smbc vs Redux Fluent
Smbc vs Igti Fullstack Bootcamp
Smbc vs Tinytimerjs
Popular Functional Programming Projects
Rxswift ⭐ 24,043
Reactive Programming in Swift
total releases 78latest release September 20, 2023most recent commit 3 months ago
Mostly Adequate Guide ⭐ 23,142
Mostly adequate guide to FP (in javascript)
dependent packages 2total releases 6latest release June 26, 2019most recent commit 5 months agonpm @mostly-adequate/support} Downloads
Bubbletea ⭐ 22,076
A powerful little TUI framework 🏗
dependent packages 1,027total releases 136latest release June 05, 2023most recent commit 3 months ago
Popular Counter Projects
Vuex ⭐ 28,314
🗃️ Centralized State Management for Vue.js.
dependent packages 16,367total releases 62latest release October 14, 2022most recent commit 3 months agonpm vuex} Downloads
Getx ⭐ 9,507
Open screens/snackbars/dialogs/bottomSheets without context, manage states and inject dependencies easily with Get.
dependent packages 350total releases 315latest release September 08, 2023most recent commit 4 months ago
Scc ⭐ 5,403
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
dependent packages 3total releases 20latest release November 27, 2023most recent commit 3 months ago
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
Related Searches
Functional Programming Ocaml
Ocaml Smt
Functional Programming Counter
Ocaml Counter

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