aliclark / haspView external linksLinks
A Lisp syntax for Haskell.
☆22May 11, 2012Updated 13 years ago
Alternatives and similar repositories for hasp
Users that are interested in hasp are comparing it to the libraries listed below
Sorting:
- USED TO BE a company-mode completion backend for SLY.☆13Jun 10, 2018Updated 7 years ago
- Exploratory new work on a Haskell Lisp☆17Jul 8, 2016Updated 9 years ago
- minikanren mips assembler/disassembler☆34Mar 28, 2015Updated 10 years ago
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Oct 17, 2013Updated 12 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Official repository for the REX virtual machine☆12Mar 9, 2016Updated 9 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 8 years ago
- A compilation-friendly fexpr language. (Proof of concept.)☆23Sep 2, 2025Updated 5 months ago
- An Oberon-2 LLVM front-end☆23Sep 27, 2014Updated 11 years ago
- Pez is a Forth dialect based on Atlast, with expanded capabilities and more portability.☆34Apr 5, 2015Updated 10 years ago
- ☆22Oct 12, 2024Updated last year
- ((real 'programs) have.curves)☆20Nov 30, 2016Updated 9 years ago
- An R6RS framework for creating compilers that target C.☆115Nov 3, 2015Updated 10 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Apr 7, 2022Updated 3 years ago
- PostgreSQL binding for R7RS Scheme.☆21Dec 11, 2017Updated 8 years ago
- web server derived from Fermion (circa 2011)☆20May 1, 2016Updated 9 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 6 years ago
- package manager for guile☆65Apr 29, 2019Updated 6 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100May 10, 2016Updated 9 years ago
- Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…☆67Dec 16, 2022Updated 3 years ago
- Simple Network Management Protocol (SNMP) for Common Lisp☆25Feb 13, 2018Updated 8 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- x86 assembler in scheme☆29Apr 14, 2019Updated 6 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Jan 6, 2022Updated 4 years ago
- Scheme R7RS frontend for LLVM☆69Jan 3, 2018Updated 8 years ago
- Premade Qtools UI components☆29Feb 8, 2020Updated 6 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Jan 13, 2018Updated 8 years ago
- Proof of concept for an anti-phishing browser plugin, working by comparing pages screenshots with perceptual hashing algorithms.☆10Apr 3, 2022Updated 3 years ago
- Pseudo, a 2.5d multiplayer roguelike☆33Dec 29, 2024Updated last year
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- A collection of advent of code solutions.☆10Dec 28, 2015Updated 10 years ago
- Regularized Composite ReLU-ReHU Loss Minimization with Linear Computation and Linear Convergence☆11Feb 10, 2024Updated 2 years ago
- Identifies music based on microphone input. By request of someone in r/learnprogramming.☆19Dec 8, 2012Updated 13 years ago
- Dead simple JSON Formatter☆10Oct 21, 2016Updated 9 years ago
- Copy and Paste standard library (CPSTL) is a repository with a collection of data structure and algorithms in many different languages☆13Feb 15, 2025Updated 11 months ago
- a minimal implementation of incremental computation in Scheme☆36Apr 30, 2017Updated 8 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- 📄Source code variable naming using a seq2seq architecture☆10Mar 19, 2020Updated 5 years ago