Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost
ClawBench
ClawBench

jrclogic/SMCDEL

A symbolic model checker for Dynamic Epistemic Logic.

Visit GitHub
Haskell
56
10
4 contributors
GNU General Public License v2.0
website
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

ClawBench

a benchmark for personal agents

Momentum

How fast jrclogic/SMCDEL is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Oct 3 – Oct 24, 2026

Stars +2 in 22 days

01
1

Forks +0 in 22 days

01

Merged PRs 0 in 22 days

01

Trendshift Trendingwhere the repository ranked each day it made the top 25

Top 25 in Haskell

24
Oct 3Oct 6Oct 9Oct 12Oct 15Oct 18Oct 21Oct 24
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRsHaskell
Sat, Oct 3, 2026+0+00Not trending
Sun, Oct 4, 2026+0+00Not trending
Mon, Oct 5, 2026+0+00Not trending
Tue, Oct 6, 2026+0+00Not trending
Wed, Oct 7, 2026+0+00Not trending
Thu, Oct 8, 2026+0+00Not trending
Fri, Oct 9, 2026+0+00Not trending
Sat, Oct 10, 2026+0+00Not trending
Sun, Oct 11, 2026+1+00Not trending
Mon, Oct 12, 2026+0+00Not trending
Tue, Oct 13, 2026+0+00Not trending
Wed, Oct 14, 2026+0+00Not trending
Thu, Oct 15, 2026+0+00Not trending
Fri, Oct 16, 2026+0+00Not trending
Sat, Oct 17, 2026+0+00Not trending
Sun, Oct 18, 2026+0+00Not trending
Mon, Oct 19, 2026+0+00Not trending
Tue, Oct 20, 2026+1+00#24
Wed, Oct 21, 2026+0+00Not trending
Thu, Oct 22, 2026+0+00Not trending
Fri, Oct 23, 2026+0+00Not trending
Sat, Oct 24, 2026+0+00Not trending
Total+2+00
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Achievements

Trendshift snapshots GitHub's daily Trending list and runs its own trending list

Trendshift Trending

jrclogic/SMCDEL has trended on Trendshift's daily list

Daily

First achieved on 20th, Oct 2026 for Haskell

#24 Haskell Repository Of The Day

First achieved on 20th, Oct 2026 for Haskell

#24 Haskell Repository Of The Day

You might also like

Repositories close to jrclogic/SMCDEL
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

ClawBench

a benchmark for personal agents

albertocasagrande/pyModelChecking

Python

A Python model checking package

7213

Gbury/dolmen

OCaml

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

9320

Z3Prover/z3

C++

The Z3 Theorem Prover

12.8k1.7k

NucleoidAI/Nucleoid

Rust

Synthesized Logic Language for World Models 🌱🐋🌍

77233

tammet/logictools

HTML

The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.

776

quint-co/quint

TypeScript

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

1.9k153

jsiek/deduce

Python

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

12513

uuverifiers/eldarica

SMT

The Eldarica model checker

11126

SRI-CSL/yices2

SMT

SRI Yices SMT Solver

48268