bstarynk / bismon
persistent monitor (for static source code analysis, GCC based)
☆59Updated 9 months ago
Alternatives and similar repositories for bismon:
Users that are interested in bismon are comparing it to the libraries listed below
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago
- ☆34Updated 4 years ago
- Small Fast S-Expression Library☆73Updated last month
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆102Updated 4 months ago
- Bidirectional Megamodel of Parsing, Tokenising, Stripping, Concatenating, Imploding, Exploding, Unparsing, Printing, Pretty-printing, For…☆17Updated 4 years ago
- Continuation Passing C☆112Updated 5 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- An Efficient LALR(1) Parser Generator for Scheme☆50Updated 4 years ago
- Binary tools: assembler, disassembler, linker, library manager, emulator☆59Updated last week
- GDB helper scripts☆45Updated 4 years ago
- ☆31Updated 2 weeks ago
- BIT: A Very Compact Scheme System for Microcontrollers☆44Updated 8 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- An interactive development environment for SMT-LIB files and Z3☆23Updated 2 years ago
- Fast interpreter with macros, local type inference, LLVM backend.☆163Updated 6 years ago
- ☆54Updated 8 years ago
- A Lisp-like language implemented in C++☆75Updated 2 years ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- My Own Linear Lisp☆38Updated 6 years ago
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆63Updated 7 years ago
- Functional-programming macros for the C preprocessor.☆63Updated 9 years ago
- shok command shell☆144Updated 9 years ago
- order-pp preprocessor library (standalone part of chaos-pp)☆108Updated 3 years ago
- arbitrary precision arithmetic library☆42Updated 6 years ago
- Marpa parse engine C library -- STABLE☆98Updated last year
- C++ compile-time Prolog interpreter☆66Updated 10 years ago
- A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries☆48Updated 10 years ago
- The Pascal-F Verifier☆48Updated 7 years ago
- lemon parser generator, with better c++11 support☆27Updated 3 years ago