Terminal logs observer
☆28Sep 6, 2025Updated last year
Alternatives and similar repositories for Monalog
Users that are interested in Monalog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Telegram Lambdabot Bot☆11May 29, 2024Updated 2 years ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆50Oct 8, 2025Updated last year
- Mappings for PostgreSQL types☆31Jul 31, 2026Updated 3 months ago
- Interpolate plugin for GHC 8.10.7☆13Apr 15, 2022Updated 4 years ago
- ☆10Sep 1, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Jun 29, 2026Updated 4 months ago
- ☆38Jun 5, 2026Updated 4 months ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 6 months ago
- ☆10Dec 22, 2017Updated 8 years ago
- A PureScript UI library built upon the react☆10May 27, 2022Updated 4 years ago
- DEPRECATED: use https://github.com/MercuryTechnologies/moat☆23Mar 5, 2021Updated 5 years ago
- scala courses for Fintech☆26Apr 23, 2019Updated 7 years ago
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 5 years ago
- A simple hexview for cursive☆20Aug 3, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Efficient and expressive XML data-binding library for Scala☆35Sep 2, 2026Updated 2 months ago
- Split integers into digits, blazingly fast☆14Sep 27, 2026Updated last month
- Visual Studio Code Extension(s) for Rzk proof assistant.☆11Jul 25, 2026Updated 3 months ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆19Apr 3, 2023Updated 3 years ago
- Set breakpoints using a GHC plugin☆49Jan 12, 2026Updated 9 months ago
- Simple Telegram Bot written on FORTRAN for generating LaTeX pictures in private messages and inline mode☆10Jan 26, 2019Updated 7 years ago
- TLA+/PlusCal support for Neovim☆37Aug 7, 2025Updated last year
- Typed, schema-based, composable Redis library for Haskell☆10Aug 20, 2026Updated 2 months ago
- Efficiently scale, crop, flip images with JuicyPixels☆15Sep 29, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Haskell implementation of the QOI image format☆16Jun 30, 2023Updated 3 years ago
- A special-purpose processor for pure, non-strict functional languages☆36Sep 21, 2026Updated last month
- ☆20Jul 3, 2023Updated 3 years ago
- An optic library☆12May 27, 2026Updated 5 months ago
- Polymorphic guarded λ-calculus☆22Oct 22, 2026Updated last week
- Performance shootout of various trie implementations☆18May 30, 2019Updated 7 years ago
- Stream editing with Haskell Attoparsec parsers☆14May 30, 2023Updated 3 years ago
- Create environments with GHC HEAD artefacts☆26Jun 28, 2023Updated 3 years ago
- ☆16May 20, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library☆50Oct 14, 2026Updated 3 weeks ago
- Nim Kdb type-safe bindings☆17Sep 1, 2023Updated 3 years ago
- ☆25Jun 10, 2023Updated 3 years ago
- Haskell bindings for systemd☆23Jul 10, 2024Updated 2 years ago
- Bit-level codec library☆17Apr 26, 2023Updated 3 years ago
- "Modern compiler implementation" in Haskell!☆28Jan 12, 2015Updated 11 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Jan 23, 2026Updated 9 months ago