phlummox / hs-perl5
embedded Perl 5 interpreter in Haskell, forked from https://github.com/perl6/Pugs.hs. Candidate package on hackage at https://hackage.haskell.org/package/hs-perl5-0.1.0/candidate. pre-alpha stage software
☆12Updated 4 years ago
Alternatives and similar repositories for hs-perl5:
Users that are interested in hs-perl5 are comparing it to the libraries listed below
- An interpreter of F-ing modules☆18Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated 7 months ago
- Haskell JSON library☆27Updated 4 months ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Deep evaluation of data structures☆41Updated 6 months ago
- The Hadrian build system for GHC☆9Updated 6 years ago
- ☆13Updated last month
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 2 months ago
- Lua parser and pretty-printer☆15Updated 10 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 6 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 3 weeks ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Haskell library for glob matching☆25Updated 3 years ago
- A type-safe, stack-based functional programming language☆15Updated last month
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 7 years ago
- ☆20Updated 5 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 7 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- a self-hosting lambda calculus compiler☆35Updated 4 years ago
- Embedding of python interpreter into haskell programs☆10Updated 3 weeks ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 9 months ago
- The Alms Programming Language☆44Updated 6 years ago
- Haskell parsing combinator liibrary that can be fed the input and emit the parsed output incrementally☆23Updated last year
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- Hakyll support for Agda literate files☆19Updated 3 years ago
- Haskell bindings to Chez Scheme☆10Updated last year
- Purely functional map and set data structures☆36Updated last year
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago