The Kuljet language
☆25Feb 8, 2025Updated last year
Alternatives and similar repositories for kuljet
Users that are interested in kuljet are comparing it to the libraries listed below
Sorting:
- Playing with incremental parsing and later compiler passes☆12Dec 12, 2018Updated 7 years ago
- A VM written following the Linear Abstract Machine architecture☆22Oct 1, 2019Updated 6 years ago
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆68May 16, 2024Updated last year
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 3 months ago
- Crazy figures and animations with Haskell☆34Oct 19, 2018Updated 7 years ago
- Web content management system and built in eCommerce☆17Updated this week
- fast .NET library for factor polynomials over various fields.☆10Jun 16, 2022Updated 3 years ago
- A high-level programming language☆40Jan 22, 2025Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆48Feb 10, 2025Updated last year
- A framework that extends Sanic with a focus on microservices.☆10Dec 8, 2022Updated 3 years ago
- HTTP and WebSocket API Gateway☆11Dec 22, 2022Updated 3 years ago
- IJduino☆15Sep 5, 2016Updated 9 years ago
- Make Terminator Terminal Act Like Guake/Yakuake Terminal in UBUNTU☆12Apr 4, 2016Updated 9 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- ☆10Dec 24, 2025Updated 2 months ago
- Installing NFS on a Buffalo 220 NAS device☆10Nov 27, 2019Updated 6 years ago
- Ecto type for datetimes stored and cast as Unix timestamps. 🕰️☆14Dec 22, 2024Updated last year
- Some text processing functions written for Crowbook and moved in a separate library☆13Aug 3, 2023Updated 2 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- Get your simple but strongly structured react native starter template☆13Sep 9, 2021Updated 4 years ago
- The main feature flipper library and web admin application.☆10Aug 18, 2025Updated 6 months ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- A collection of very simple PHP logger classes implementing \Psr\Log\LoggerInterface (PSR-3)☆13Jul 22, 2025Updated 7 months ago
- MIPS I simulator☆20Dec 28, 2018Updated 7 years ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- A complete specification on Zilch and N⋆☆11Jan 29, 2023Updated 3 years ago
- Pprof serves via its HTTP server fprof profiling data in the format expected by the pprof visualization tools for Elixir.☆14Jan 10, 2023Updated 3 years ago
- Just a collection of cardano related stuff from me or other contributors as a reference collection.☆10Sep 28, 2025Updated 5 months ago
- ☆10Feb 17, 2026Updated 2 weeks ago
- Mirror of pdftk. For more information please see http://flowpaper.com☆11Sep 6, 2016Updated 9 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Converts JSON data to HTML table with collapsible details view for nested objects.☆14May 1, 2021Updated 4 years ago
- ☆11Oct 21, 2020Updated 5 years ago
- An opinionated library for developing and testing rust applications that use logging.☆13Apr 16, 2023Updated 2 years ago
- Interact with SQL databases in Go☆14Feb 24, 2026Updated last week
- Django bulk insert/update☆18Sep 18, 2017Updated 8 years ago
- allperlbooks.com data☆10Oct 20, 2024Updated last year
- Transform one-sentence ideas into full movie concepts with AI. Utilizes OpenAI API, integrating ChatGPT for text generation and DALL-E fo…☆13Jan 1, 2025Updated last year