💘 A logging style that is subjectively nice.
☆21Jan 21, 2018Updated 8 years ago
Alternatives and similar repositories for badlog
Users that are interested in badlog are comparing it to the libraries listed below
Sorting:
- A minimalist, zero-copy parser for a strict subset of the Yaml specification.☆20Apr 16, 2024Updated last year
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- Learn Lisp interactively!☆33Dec 5, 2024Updated last year
- A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.58.0 are supported.☆45Jan 22, 2026Updated last month
- Compression libraries implemented by pure Rust.☆35Nov 23, 2020Updated 5 years ago
- ☆40Feb 19, 2026Updated last week
- libtelnet-esque parser for rust.☆12Dec 1, 2023Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- 🔥 afire — A blazing fast web framework for Rust☆14Sep 9, 2024Updated last year
- Pratt parser written in Rust☆99Nov 10, 2023Updated 2 years ago
- Further developed as SyntaxDot: https://github.com/tensordot/syntaxdot☆13Dec 18, 2020Updated 5 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- Experiments with META II☆12Jan 9, 2018Updated 8 years ago
- 📝 A template engine.☆16Jun 15, 2021Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- C/C++ preprocessor.☆14Jan 21, 2025Updated last year
- Javascript implementation of Fractran☆15Sep 14, 2017Updated 8 years ago
- ANSITerm 256 colormaps☆11Mar 21, 2018Updated 7 years ago
- just a place to throw some coding experiements while i re-re-re-learn rust☆15Jul 31, 2022Updated 3 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- ☆13Dec 11, 2025Updated 2 months ago
- Rust library for HTML santisation. https://docs.rs/sanitize_html/☆16Oct 20, 2025Updated 4 months ago
- Repository containing examples of usage of pcb-rs☆10Apr 8, 2022Updated 3 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- An opinionated library for developing and testing rust applications that use logging.☆13Apr 16, 2023Updated 2 years ago
- Load and resolve Cargo configuration.☆18Feb 13, 2026Updated 2 weeks ago
- A modified version of Bresenham's line algorithm for drawing lines of arbitrary thickness.☆12Apr 14, 2015Updated 10 years ago
- Succeeded by syntaxdot-transformers: https://github.com/tensordot/syntaxdot/tree/main/syntaxdot-transformers☆19Oct 7, 2020Updated 5 years ago
- A tokenizer for French☆14Apr 18, 2013Updated 12 years ago
- My Fedora VFIO/GPU Passthrough Guide☆12Jun 15, 2021Updated 4 years ago
- debug_assert! for your memory usage in Rust☆13Feb 11, 2019Updated 7 years ago
- vim-gitlab is a vim client for GitLab☆17Dec 2, 2015Updated 10 years ago
- ☆12Jun 1, 2024Updated last year
- An attempt to bring forum features to Discord.☆10Oct 17, 2020Updated 5 years ago
- LBFGS optimization algorithm ported from liblbfgs☆12Nov 25, 2022Updated 3 years ago