lucid-brndmg / cyclone-online-editorView external linksLinks
Interactive online editor for the cyclone specification language
☆12Jan 1, 2026Updated last month
Alternatives and similar repositories for cyclone-online-editor
Users that are interested in cyclone-online-editor are comparing it to the libraries listed below
Sorting:
- Open-source code for GEAR☆13Dec 3, 2025Updated 2 months ago
- ☆14Apr 5, 2023Updated 2 years ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆61Aug 17, 2019Updated 6 years ago
- RAG methods, benchmarks, and toolkits☆19Nov 28, 2024Updated last year
- Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''☆16Feb 2, 2024Updated 2 years ago
- Opinionated hledger's journal files formatter☆33Feb 5, 2026Updated last week
- A command-line tool for fetching and formatting historical price data, with support for multiple data sources and output formats.☆15Oct 11, 2025Updated 4 months ago
- Repo to track SANS BlueTeam Summit Presentation☆23Oct 4, 2022Updated 3 years ago
- A sample verifier for a toy language built on top of Boogie☆24Nov 24, 2022Updated 3 years ago
- Citation Extraction & Reference Checking Assistant☆63Jan 25, 2026Updated 3 weeks ago
- Discriminative Sample-Guided and Parameter-Efficient Feature Space Adaptation for Cross-domain Few-Shot Learning - CVPR 2024☆23Dec 5, 2024Updated last year
- A declaration of fundamental rights and principles for ethical digital platforms, ensuring privacy, dignity, and fairness in online space…☆19Jan 18, 2025Updated last year
- An interactive development environment for SMT-LIB files and Z3☆24Aug 16, 2022Updated 3 years ago
- A cross-format package for externalization of graphics and memoization of compilation results in general☆24Oct 24, 2025Updated 3 months ago
- A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.☆21Jan 4, 2026Updated last month
- ☆22Dec 6, 2021Updated 4 years ago
- The HighLo Engine is a free open source game engine made only by two very passionate programmers.☆20Sep 10, 2023Updated 2 years ago
- ProofNet dataset ported into Lean 4☆29Jun 9, 2025Updated 8 months ago
- Improving Single Domain-Generalized Object Detection: A Focus on Diversification and Alignment [CVPR-2024]☆25Jun 15, 2024Updated last year
- A LaTeX package that incorporates sympy code, and it's output into your LaTeX documents☆36Oct 21, 2014Updated 11 years ago
- A wrapper for the unofficial MAL API jikan.moe (v4)☆29Jun 23, 2024Updated last year
- KORE to llvm translation☆42Oct 15, 2025Updated 4 months ago
- VSCode IDE Integration for Dafny☆26Sep 23, 2025Updated 4 months ago
- Information about verification tools. Browse the data at https://slebok.github.io/proverb/☆31Dec 9, 2023Updated 2 years ago
- ImProver: Agent-Based Automated Proof Optimization☆39Jan 18, 2026Updated 3 weeks ago
- Neovim client for coq-lsp☆30Sep 26, 2025Updated 4 months ago
- MIRRORED from https://gitlab.com/bloodyhealth/drip | an open-source, symptothermal cycle tracking app☆31Jan 11, 2026Updated last month
- Programming languages: MiniZinc, Prolog, Eclipse_CP, Picat, Haskell, C++, C, bash etc☆38Feb 3, 2026Updated last week
- DiffusionFace: Towards a Comprehensive Dataset for Diffusion-Based Face Forgery Analysis☆42Aug 19, 2024Updated last year
- CLP(BNR) module for SWI-Prolog☆44Dec 4, 2025Updated 2 months ago
- 🏆 A ranked list of awesome projects related to Typst, or the charted dark matter in Typst Universe (TCDM). 🌌☆71Updated this week
- This package allows the typesetting of manuscripts with notes, figures, citations, captions and tables in the margin, which is common e.g…☆53Sep 13, 2024Updated last year
- Opensciency - A core open science curriculum by and for the research community.☆44Jan 24, 2024Updated 2 years ago
- The Irish Constitution☆40Jan 26, 2024Updated 2 years ago
- The official web interface for OpenReview.net☆53Updated this week
- An overview of Beamer themes☆45Sep 5, 2025Updated 5 months ago
- Sentiment Analysis: Deep Bi-LSTM+attention model☆45Jul 5, 2022Updated 3 years ago
- Share TikToks Safely. No Ads, No Spyware, No Phone App.☆54Sep 5, 2025Updated 5 months ago
- My own 3D engine & editor in order to learn graphics algorithms and game engine architecture.☆55May 7, 2022Updated 3 years ago