|
Racket |
8 |
Abstract Machines Galore |
May 02, 2022 |
|
TeX |
2 |
Artifact of Refunctionalization of Abstract Abstract Machines (ICFP '18) |
Jan 31, 2021 |
|
Racket |
2 |
Tool transforming evaluators into abstract machines |
Jan 12, 2022 |
|
Haskell |
8 |
A Functional Correspondence between Evaluators and Abstract Machines |
Jan 08, 2017 |
|
Rust |
5 |
NAAM: Nox's Abstract Abstract Machine |
Jan 29, 2021 |
|
Haskell |
21 |
:abacus: Programming language based on pure bruijn-indexed lambda calculus and strong call-by-need reduction using abstract … |
May 03, 2023 |
|
TypeScript |
5 |
Abstract Visuals |
Jun 01, 2022 |
|
Jupyter Notebook |
2 |
Abstract kelp |
Nov 04, 2021 |
|
Perl |
19 |
SQL::Abstract |
Sep 22, 2022 |
|
Haskell |
3 |
A Haskell Library and Command Line Interface to work with MIX archives from the older … |
Dec 21, 2020 |
|
Haskell |
3 |
Very simple text summarization |
Mar 06, 2020 |
|
Haskell |
3 |
Command Line Interface for https://validator.w3.org/ |
Dec 27, 2019 |
|
Haskell |
3 |
None |
Jan 09, 2020 |
|
Haskell |
3 |
Types for colors |
Dec 05, 2019 |
|
Haskell |
3 |
None |
Feb 03, 2020 |
|
Haskell |
3 |
heterogenous traversal |
May 03, 2022 |
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
Haskell |
3 |
Elevator for effects |
Dec 05, 2019 |
|
Haskell |
3 |
None |
Jan 04, 2020 |
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
Haskell |
3 |
Omit top-level module prefices |
Sep 26, 2020 |
|
Haskell |
3 |
None |
Dec 05, 2019 |
|
Haskell |
3 |
Simple command line pastebin app. |
Oct 21, 2013 |
|
Haskell |
3 |
用一种类似正则表达式的句法来生成随机字符串。 |
Dec 12, 2021 |
|
Haskell |
3 |
ALPACA - Anemic Lexer and PArser Creation Algorithm |
Jun 05, 2022 |
|
Haskell |
3 |
Demo showing operation of LL(1), LR(0), LR(1), SLR and LALR parsers |
Jun 25, 2022 |
|
Haskell |
3 |
Sort delimited text files. |
Oct 27, 2020 |
|
Haskell |
4 |
None |
May 24, 2022 |
|
Haskell |
4 |
UTxO based NFT Maker for Cardano Blockchain (no timelock) |
Apr 11, 2022 |
|
Haskell |
4 |
None |
May 28, 2022 |
|
Haskell |
4 |
The playground allows you to experiment with Haskell in browser without installing it locally. It … |
Apr 20, 2022 |
|
Haskell |
4 |
Language that combines the flexibility of the GraphQL with the formalism of Haskell |
May 05, 2022 |
|
Haskell |
4 |
A compiler backend for PureScript that generates Python code. |
Dec 13, 2021 |
|
Haskell |
4 |
A simple utility to workaround cardano-cli's inability to balance non-native assets |
Jun 15, 2022 |
|
Haskell |
4 |
Language of the Cult of Raylib |
May 23, 2022 |
|
Haskell |
4 |
Support for linearly-typed generics in Haskell |
Apr 01, 2022 |
|
Haskell |
4 |
XMonad setup with installed programs by Anapal using Arch Linux |
Jun 14, 2022 |
|
Haskell |
4 |
Xmonad configurations for Axyl OS |
May 04, 2022 |
|
Haskell |
4 |
Feature Trace Recording in Haskell |
Apr 21, 2022 |
|
Haskell |
4 |
A language built atop the Sparse Synchronous Model |
Jun 14, 2022 |
|
Haskell |
4 |
None |
Jun 20, 2022 |
|
Haskell |
4 |
A pseudo generative art code with haskell |
May 02, 2022 |
|
Haskell |
4 |
A purely-functional programming language with Hindley-Milner type inference and `callcc`. |
May 18, 2022 |
|
Haskell |
4 |
A dashboard for r/TheMotte, powered by Ema. |
Jul 07, 2022 |
|
Haskell |
4 |
Compare one website with another |
Feb 26, 2016 |
|
Haskell |
4 |
Max's markup language |
Jul 17, 2022 |
|
Haskell |
4 |
Statistics for the GHC proposal repository |
Jun 14, 2021 |
|
Haskell |
4 |
The “Haskell Bytes” tutorial at Bobkonf 2021 |
Jun 14, 2021 |
|
Haskell |
4 |
Benchmarks for list fusion experiments |
Jan 05, 2021 |