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
- Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019☆11Updated 5 years ago
- Skeleton app with contrived client/server examples☆20Updated 2 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- An opinionated OTP framework wrapper☆26Updated 3 weeks ago
- The Stroscot Programming Language☆13Updated last year
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated last year
- Haskell library for glob matching☆25Updated 3 years ago
- Bidirectional type checker for the simply typed lambda calculus☆14Updated 5 years ago
- ☆12Updated 3 months ago
- A Haskell monad transformer library for data validation☆36Updated last year
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Registry of PureScript packages and metadata about them☆47Updated this week
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated last month
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 6 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated last week
- Deep evaluation of data structures☆41Updated 5 months ago
- Haskell bindings to Chez Scheme☆10Updated last year
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- Idris Version Manager☆15Updated this week
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- A simple example of integrating TypeScript and Haskell.☆13Updated 3 years ago
- Delimited continuations in byte-code and native OCaml☆27Updated 4 years ago
- The Codebase UI that ships with UCM☆14Updated this week
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆64Updated last month
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- C++ foreign export implementations for the standard library☆22Updated 5 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago