Alternatives and similar repositories for introduction_to_temporal_logic

Users that are interested in introduction_to_temporal_logic are comparing it to the libraries listed below

• Dicklesworthstone / grassmann_article

  View on GitHub
  Long-form biographical essay on Hermann Grassmann, the 19th-century polymath who invented exterior algebra, exploring his life, mathemati…
  ☆54Jun 7, 2024Updated last year
• Dicklesworthstone / bakery_algorithm

  View on GitHub
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Jan 19, 2024Updated 2 years ago
• bassosimone / aladdin

  View on GitHub
  Experimental Web Connectivity implementation
  ☆11Nov 22, 2020Updated 5 years ago
• knz / pcl

  View on GitHub
  Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )
  ☆10Feb 28, 2011Updated 14 years ago
• FalconSocial / berth

  View on GitHub
  Berth use Docker containers to build packages for you, based on a YAML configuration file.
  ☆11May 5, 2017Updated 8 years ago
• rezendi / ykarma

  View on GitHub
  YKarma is an experimental project to model reputation as a spendable currency.
  ☆25Jan 9, 2023Updated 3 years ago
• PeterBengtson / Ooloi-docs

  View on GitHub
  Ooloi music notation software documentation - early access docs ahead of open-source release.
  ☆25Updated this week
• splitgraph / seafowl-gcsfuse

  View on GitHub
  Scale to zero Seafowl hosting with Cloud Run
  ☆37Jun 6, 2023Updated 2 years ago
• mzattera / FuckBench

  View on GitHub
  FuckBench (FB) is a set of development tools to compile several languages to BrainFuck.
  ☆12Jan 19, 2021Updated 5 years ago
• muratdem / HLC

  View on GitHub
  ☆17Oct 2, 2017Updated 8 years ago
• metal-stack / go-hal

  View on GitHub
  server hardware abstraction, tries to lower the burden of supporting different server vendors
  ☆15Updated this week
• ept / ConcDistSys-demos

  View on GitHub
  Demo code for Concurrent and Distributed Systems course
  ☆20Nov 7, 2024Updated last year
• moolen / glitchlock

  View on GitHub
  glitch art X screen locker
  ☆18Mar 17, 2019Updated 6 years ago
• noway / yagrad

  View on GitHub
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Mar 20, 2024Updated last year
• NUAA-WatchDog / linux-kernel-elf-sig-verify-module

  View on GitHub
  🔏 Kernel module for signature verification of ELF files.
  ☆18Nov 17, 2021Updated 4 years ago
• timothypratley / happyapi

  View on GitHub
  Middleware oriented oauth2 client for webservices
  ☆20Sep 13, 2025Updated 5 months ago
• FrozenWinters / SSTs

  View on GitHub
  Work in progress on semi-simplicial types
  ☆23Dec 15, 2022Updated 3 years ago
• thunknyc / profile

  View on GitHub
  A Clojure library for profiling.
  ☆28Nov 18, 2014Updated 11 years ago
• Dicklesworthstone / visual_astar_python

  View on GitHub
  Generate Cool-Looking Mazes and Animations Illustrating the A* Pathfinding Algorithm
  ☆176Feb 27, 2025Updated 11 months ago
• srevinsaju / togomak

  View on GitHub
  A declarative pipeline orchestrator with the magic of HCL as a configuration language, inspired from Terraform's architecture.
  ☆152Apr 19, 2024Updated last year
• stjepangolemac / neat-rs

  View on GitHub
  Rust implementation of the NEAT evolutionary algorithm
  ☆24Jan 17, 2021Updated 5 years ago
• Tetraslam / SHFLA

  View on GitHub
  Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.
  ☆64Feb 25, 2025Updated 11 months ago
• cmsc430 / cmsc430.github.io

  View on GitHub
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Dec 6, 2025Updated 2 months ago
• Netronome / bpf-tool

  View on GitHub
  user space tool for inspection and simple manipulation of eBPF programs and maps
  ☆25Feb 1, 2018Updated 8 years ago
• endoli / disassemble.rs

  View on GitHub
  Work with disassembled code.
  ☆25Jun 2, 2025Updated 8 months ago
• Dicklesworthstone / hoeffdings_d_explainer

  View on GitHub
  A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D
  ☆100Feb 23, 2024Updated last year
• asecurityteam / transport

  View on GitHub
  An extendable toolkit for improving the go standard library HTTP client.
  ☆25Updated this week
• schollz / supertonic

  View on GitHub
  an instrospective drum machien
  ☆23Jul 3, 2021Updated 4 years ago
• rasinmuhammed / misata

  View on GitHub
  High-performance open-source synthetic data engine. Uses LLMs for schema design and vectorized NumPy for deterministic, scalable generati…
  ☆51Updated this week
• cracauer / sbcl-ita

  View on GitHub
  The SBCL Common Lisp compiler with ITA's patches
  ☆21Aug 16, 2016Updated 9 years ago
• zcaudate-xyz / foundation-base

  View on GitHub
  core libs and utilities
  ☆37Jan 21, 2026Updated 3 weeks ago
• muayyad-alsadi / docker-jumpshell

  View on GitHub
  Jump-box shell for Docker - secure remote ssh into containers with ACL
  ☆26Oct 15, 2016Updated 9 years ago
• gnosisguild / tabula

  View on GitHub
  Instant web3 publications for writers, DAOs, and any Ethereum-based account.
  ☆30May 29, 2024Updated last year
• hackyourlife / brawshot

  View on GitHub
  Temporal noise reduction for videos in BRAW format to get long virtual exposure time
  ☆32May 20, 2024Updated last year
• droitfintech / fset

  View on GitHub
  Faster clojure.set functions.
  ☆30Oct 8, 2024Updated last year
• xlab / structwalk

  View on GitHub
  Battle-tested Go struct and map traversal utilities.
  ☆33Jan 17, 2020Updated 6 years ago
• mit-frap / spring23

  View on GitHub
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31May 10, 2023Updated 2 years ago
• eras / tlsd

  View on GitHub
  Generate (message) sequence diagrams from TLA+ state traces
  ☆74Feb 5, 2023Updated 3 years ago
• Gandalf- / coreutils

  View on GitHub
  Unix core utilities implemented in Haskell
  ☆286Nov 10, 2025Updated 3 months ago