Frege Interpreter
☆15Jun 13, 2020Updated 5 years ago
Alternatives and similar repositories for frege-interpreter
Users that are interested in frege-interpreter are comparing it to the libraries listed below
Sorting:
- Frege REPL☆79Feb 22, 2019Updated 7 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- Frege code generator for Java classes☆17Sep 19, 2017Updated 8 years ago
- Salvia - Modular Haskell HTTP server.☆24Sep 4, 2010Updated 15 years ago
- Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache☆17Jan 15, 2025Updated last year
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Feb 13, 2020Updated 6 years ago
- A Scheme Interpreter for ARM Microcontrollers☆14Jan 15, 2014Updated 12 years ago
- A simple build system for Idris☆22Mar 19, 2021Updated 4 years ago
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- PureScript compiler written in PureScript (On hold / inactive)☆61Nov 2, 2014Updated 11 years ago
- The metacircular evaluator(ish)☆17Aug 28, 2015Updated 10 years ago
- Official compiler for the Nany Programming Language {read-only mirror from gitlab}☆12May 26, 2018Updated 7 years ago
- BICIB: Brainfuck Interpreter/Compiler In Brainfuck☆15Sep 25, 2015Updated 10 years ago
- S-expression-based syntax alternative for Haskell.☆22Jan 14, 2014Updated 12 years ago
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated 9 months ago
- Experiments in formalizing refinement type systems in Coq☆18Feb 7, 2016Updated 10 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Jan 11, 2016Updated 10 years ago
- The eclipse plugin for frege, codename fregIDE☆31Sep 14, 2019Updated 6 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Apr 7, 2022Updated 3 years ago
- OpenID Shared Signals and Events (SSE) / Continuous Access Evaluation Protocol (CAEP) / Risk Incident Sharing and Coordination (RISC) JSO…☆14Jun 7, 2024Updated last year
- Gradle plugin for compiling Frege projects☆24Dec 8, 2021Updated 4 years ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- A scientific computing library for Rust.☆38Aug 4, 2014Updated 11 years ago
- The Powerful Python CMS☆11Nov 20, 2021Updated 4 years ago
- A Scala-style magic function application form☆43Jul 31, 2022Updated 3 years ago
- Frege language binding and utilities to create JavaFX user interfaces☆35Oct 31, 2021Updated 4 years ago
- a language where the programs are works of modern art (updated for OSX)☆34Jan 31, 2022Updated 4 years ago
- Tululoo: An open source Javascript Game Maker☆13Oct 19, 2014Updated 11 years ago
- Deep evaluation of data structures☆43Jun 14, 2025Updated 8 months ago
- Exercism exercises in Scheme.☆40Feb 1, 2026Updated last month
- Testing with monadic side-effects☆33Jun 24, 2021Updated 4 years ago
- Automatically exported from code.google.com/p/andrews-deal☆10Sep 16, 2022Updated 3 years ago
- A Stack-Oriented Imperative Programming language☆11Sep 22, 2019Updated 6 years ago
- cfg files for YUMI products☆14Dec 22, 2025Updated 2 months ago
- Reliable Keycloak user migration at scale. Features include bounded concurrency, durable retries, and zero data loss.☆31Jan 13, 2026Updated last month
- Telegram Widget Authenticator For Keycloak☆13Dec 20, 2025Updated 2 months ago
- Daobab - Java ORM, Object Oriented SQL for Java and Kotlin☆37Dec 26, 2025Updated 2 months ago
- Scheme Editor plugin for Eclipse☆37Jul 25, 2018Updated 7 years ago
- Fast base64 encoding and decoding for Haskell.☆48Sep 25, 2023Updated 2 years ago