codereport / FM2GP-2025Links
Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming
☆27Updated 7 months ago
Alternatives and similar repositories for FM2GP-2025
Users that are interested in FM2GP-2025 are comparing it to the libraries listed below
Sorting:
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 weeks ago
- A list of awesome libraries for BQN.☆32Updated 2 months ago
- A compilation of BQN solutions to various coding challenges.☆12Updated last week
- My Advent of Code solutions☆22Updated last week
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆67Updated 2 months ago
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Updated 3 months ago
- Informal collection of BQN utilities☆60Updated last month
- A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.☆202Updated 9 months ago
- An implementation of the Lox language in Racket.☆35Updated 2 years ago
- High-level interface for low-level programming☆120Updated 3 months ago
- Apple array system☆68Updated last week
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated 2 years ago
- Useful things for Standard ML☆72Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- deployment for smlhelp page☆41Updated 5 months ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Miranda☆81Updated this week
- Programming with pure lambda calculus☆128Updated this week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆129Updated 11 months ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆163Updated last year
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆48Updated 9 months ago
- An embeddable flow-oriented language.☆71Updated 3 weeks ago
- Fir programming language☆79Updated last week
- A Python script for wrapping Jellyfish (a fork of Jelly) so you can more easily play with the language.☆60Updated 10 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago
- Mystery Languages☆41Updated 2 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 5 months ago
- ☆19Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆58Updated 8 months ago