the ivy programming language: a friendly, statically-typed, functional programming language with hindley-milner type inference
☆12Feb 28, 2026Updated 3 weeks ago
Alternatives and similar repositories for ivy
Users that are interested in ivy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- résumé templates in LaTeX (if you're into that sorta thing)☆50Nov 15, 2019Updated 6 years ago
- a lisp interpreter written in Go☆14Jun 24, 2020Updated 5 years ago
- An async rpc implementation based on tokio and compatible with OCaml Async_rpc☆11Feb 13, 2023Updated 3 years ago
- ☆13May 1, 2020Updated 5 years ago
- MRE: A web framework written in Rust☆63Oct 14, 2012Updated 13 years ago
- App that sings songs using only the Mac terminal's say command! Listen at your own risk.☆27Nov 25, 2020Updated 5 years ago
- An implementation of the K Nearest Neighbors Algorithm from scratch in python (using the Iris dataset)☆10Nov 27, 2016Updated 9 years ago
- Rust lib to convert typed text to your own handwriting☆22Oct 26, 2020Updated 5 years ago
- Build a Slack bot that returns a trending Reddit story☆16Sep 3, 2017Updated 8 years ago
- Various technical interview questions along with their solutions in C++ or JavaScript☆17Nov 1, 2025Updated 4 months ago
- My solutions to Advent of Code☆12Dec 6, 2024Updated last year
- Describes how the (private) Citi Bike API works☆12May 18, 2020Updated 5 years ago
- A high level pool for maintaining pools of *sql.DB databases (e.g: thousands of SQLite files)☆10Oct 29, 2016Updated 9 years ago
- Improv JS Work-in-Progress☆12Feb 20, 2016Updated 10 years ago
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Dec 10, 2021Updated 4 years ago
- Yet another Scheme implemented in Haskell☆20Dec 21, 2019Updated 6 years ago
- 🕶 Cross-platform network interface command-line utility.☆18Jan 23, 2023Updated 3 years ago
- AI Programing Competition Game Server☆16Feb 19, 2018Updated 8 years ago
- Elixir RSS/Atom parser☆15Jan 27, 2017Updated 9 years ago
- An Elixir client for beanstalkd☆19Oct 10, 2022Updated 3 years ago
- Agent check for reporting Beanstalkd queue stats from multiple tubes.☆12Oct 23, 2014Updated 11 years ago
- The pebble tool that goes with libpebble2☆26Oct 4, 2022Updated 3 years ago
- A toy programming language to learn compiler design☆14Mar 18, 2014Updated 12 years ago
- A gc and wii homebrew app to that sends a binary to the GBA using the different multiboot protocol used by the third generation of Pokémo…☆17Feb 26, 2017Updated 9 years ago
- a gamecube port of the original twilight hack☆22Aug 29, 2018Updated 7 years ago
- Collection of my studies in x86 Assembler Programming for Linux.☆11Apr 27, 2015Updated 10 years ago
- Rabin-Karp multiple pattern string search☆18Oct 14, 2015Updated 10 years ago
- A tool to unlink and relink Relocatable Modules found in GameCube and Wii games☆18Nov 28, 2021Updated 4 years ago
- The Lightstep distributed tracing library for PHP☆13Jan 27, 2026Updated last month
- A custom layout for the Iris mechanical keyboard.☆26Jan 13, 2019Updated 7 years ago
- Fiết is a RSS feed parser in Elixir, which focuses on extensibility, speed, and standard compliance☆22Jul 6, 2020Updated 5 years ago
- A WIP tiny programming language for the JVM.☆15Mar 27, 2015Updated 10 years ago
- A modern and concise language that compiles to Java bytecode☆11Sep 8, 2019Updated 6 years ago
- A PyTorch native library for training speculative decoding models☆43Updated this week
- Gnosis Safe Tx Service API client & associated tooling☆21Apr 7, 2023Updated 2 years ago
- Constructive Solid Geometry Editor☆12Jul 28, 2017Updated 8 years ago
- The source code to VVVVVV! http://thelettervsixtim.es/☆17Dec 24, 2020Updated 5 years ago
- robust and beginner friendly dotfile skeleton☆16Feb 21, 2024Updated 2 years ago
- ☆23Mar 2, 2026Updated 3 weeks ago