the ivy programming language: a friendly, statically-typed, functional programming language with hindley-milner type inference
☆12Jan 31, 2026Updated last month
Alternatives and similar repositories for ivy
Users that are interested in ivy are comparing it to the libraries listed below
Sorting:
- ☆13May 1, 2020Updated 5 years ago
- résumé templates in LaTeX (if you're into that sorta thing)☆50Nov 15, 2019Updated 6 years ago
- Various technical interview questions along with their solutions in C++ or JavaScript☆17Nov 1, 2025Updated 4 months ago
- App that sings songs using only the Mac terminal's say command! Listen at your own risk.☆27Nov 25, 2020Updated 5 years ago
- Rust lib to convert typed text to your own handwriting☆22Oct 26, 2020Updated 5 years ago
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Dec 10, 2021Updated 4 years ago
- A Swift library for working with .editorconfig files☆15Apr 8, 2025Updated 10 months ago
- Generates ffi-compatible layer for your rust code☆11Jul 4, 2020Updated 5 years ago
- An async rpc implementation based on tokio and compatible with OCaml Async_rpc☆11Feb 13, 2023Updated 3 years ago
- little wrapper functions to load files in rust☆10Oct 6, 2017Updated 8 years ago
- Format only modified code in Emacs☆11Mar 15, 2024Updated last year
- Parse objdump files using tree-sitter☆12Nov 22, 2023Updated 2 years ago
- A java library to output logs for debugging. It is available in Java 8 or later.☆11Jul 26, 2025Updated 7 months ago
- A collection of lexers for various languages, written in Rust.☆12Jun 21, 2016Updated 9 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
- Use Lua directly within Blockland.☆11Jan 20, 2018Updated 8 years ago
- my zsh theme☆11Sep 14, 2021Updated 4 years ago
- Custom error type of nom to improve accuracy of error position☆11Mar 23, 2023Updated 2 years ago
- A rust crate for high-performance content-signing and certificate verification.☆13Oct 22, 2016Updated 9 years ago
- GitHub completion for ddc.vim via gh☆12May 16, 2023Updated 2 years ago
- A simple lexical scanner in Rust☆12Nov 8, 2020Updated 5 years ago
- a lisp interpreter written in Go☆14Jun 24, 2020Updated 5 years ago
- Running list of developer tools companies supporting #BlackLivesMatter ✊🏾☆46Mar 1, 2024Updated 2 years ago
- Create a zig type to easily decode json from a struct☆13Dec 29, 2019Updated 6 years ago
- A simplified and optimized base16-eighties color scheme for Vim☆10Oct 7, 2020Updated 5 years ago
- ☆13Jan 11, 2023Updated 3 years ago
- Improv JS Work-in-Progress☆12Feb 20, 2016Updated 10 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated 4 months ago
- Command line argument parsing made easy in zig☆10Nov 3, 2019Updated 6 years ago
- A tool for compiling and linking Zig libraries to Rust projects.☆14Feb 2, 2023Updated 3 years ago
- ✨ run and create modded minecraft installations from the CLI☆12Dec 10, 2022Updated 3 years ago
- My solutions to Advent of Code☆12Dec 6, 2024Updated last year
- MRE: A web framework written in Rust☆63Oct 14, 2012Updated 13 years ago
- WebAssembly module signing & signature verification☆15Sep 29, 2022Updated 3 years ago
- 🕶 Cross-platform network interface command-line utility.☆18Jan 23, 2023Updated 3 years ago
- Efficient IO with io_uring Chinese (Simplified) Translation☆12Jan 31, 2021Updated 5 years ago
- The goal of this repository is to teach you the "way to Go" with concrete examples and good practices☆11Dec 18, 2020Updated 5 years ago
- A WIP tiny programming language for the JVM.☆15Mar 27, 2015Updated 10 years ago
- SSH authentication with the GitHub team and repo☆10Feb 22, 2026Updated last week