An Emacs major mode to edit and run SMTLIB v2 files
☆10Nov 14, 2015Updated 10 years ago
Alternatives and similar repositories for smtlib-mode
Users that are interested in smtlib-mode are comparing it to the libraries listed below
Sorting:
- Messages pretty printer, JSONized files cache and documentation utilities, for ATS/PostiATS (ATS2)☆17Aug 6, 2018Updated 7 years ago
- Vim plugin for ATS☆16Jul 7, 2021Updated 4 years ago
- ECL + IMGUI = IMCL☆18Apr 28, 2020Updated 5 years ago
- Decimal number parser and formatter package for the Common Lisp language☆24Sep 12, 2025Updated 5 months ago
- This repository is supposed to hold a released version of Xanadu☆24Jul 26, 2021Updated 4 years ago
- ANTLR SMT-LIB v2 Grammar☆24Dec 23, 2021Updated 4 years ago
- Exploring low-level Nix, NixOS and system concepts☆23Nov 11, 2019Updated 6 years ago
- Editing facility for Common Lisp REPL☆26Feb 24, 2020Updated 6 years ago
- Type-level well-kinded natural numbers.☆36Jan 2, 2025Updated last year
- The full template for "Automating the Build of your Technical Presentation"☆26Sep 24, 2017Updated 8 years ago
- A simple directed graph implementation for Common Lisp.☆30Nov 5, 2023Updated 2 years ago
- CL environment introspection portability layer☆41Apr 4, 2024Updated last year
- Draw Lindenmayer Systems with Common LISP! -- Trabajo para [7531] Teoría del Lenguaje (FIUBA)☆82Oct 28, 2020Updated 5 years ago
- TLA+ tools for Emacs☆36Dec 14, 2024Updated last year
- jmp - search files and jump to matching lines in a text editor☆13Mar 14, 2021Updated 4 years ago
- Unofficial reference documentation for ATS programming language libraries☆15Jun 27, 2012Updated 13 years ago
- Enables you to run commands in multiple k8s pods at once☆10Jul 7, 2020Updated 5 years ago
- Major mode for editing and executing AppleScript code☆13Mar 6, 2021Updated 4 years ago
- Hey! An Interruption and Time Tracking Command line app.☆12Nov 19, 2024Updated last year
- ☆12Oct 9, 2025Updated 4 months ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- ☆11Nov 29, 2020Updated 5 years ago
- Raku module: Twitter API☆11Feb 12, 2021Updated 5 years ago
- a sudo/doas alternative☆11Jan 19, 2023Updated 3 years ago
- The BASIC-BINARY-IPC system provides an interface for performing inter process communication using IPv4 or local streams. The interface f…☆21Nov 7, 2021Updated 4 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Sep 9, 2021Updated 4 years ago
- linq in lisp; data set manipulating done easy☆21Jul 4, 2025Updated 8 months ago
- Microbenchmarks for Aarch64 (Cortex A53)☆12Apr 19, 2023Updated 2 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Minimal Perfect Hash-Table CL Implementation☆16Jan 31, 2018Updated 8 years ago
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- A META parser generator using LL(1) grammars with s-expressions.☆16Oct 30, 2017Updated 8 years ago
- Code comment watcher that notifies when an issue is closed.☆10Oct 18, 2025Updated 4 months ago
- Cycle by major - Cycle through buffers with the same major-mode☆10Nov 16, 2017Updated 8 years ago
- ☆26Updated this week