rise-lang / riseView external linksLinks
Implementation of the RISE language
☆14Oct 28, 2020Updated 5 years ago
Alternatives and similar repositories for rise
Users that are interested in rise are comparing it to the libraries listed below
Sorting:
- The Shine compiler for the RISE language☆83Feb 6, 2026Updated last week
- The implementation of the Elevate language☆30Mar 21, 2025Updated 10 months ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- A different approach to an E-graph library☆28May 30, 2025Updated 8 months ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 7 months ago
- ☆10Jul 29, 2022Updated 3 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- Public repository for the HPPS course☆17Jan 17, 2022Updated 4 years ago
- ☆12May 8, 2020Updated 5 years ago
- An extension for the GitHub Cli application that displays your current contribution graph☆14Aug 3, 2021Updated 4 years ago
- Repository for the DPP'23 course☆11May 2, 2024Updated last year
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 6 months ago
- This is a machine learning challenge conducted by C&D Labs and Future Group in association with HackerEarth.☆10Nov 17, 2017Updated 8 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 6 months ago
- A Playground for Variational Autoencoders☆12Feb 11, 2018Updated 8 years ago
- ☆11Mar 5, 2025Updated 11 months ago
- Classification of tamil news headlines - experimental☆13Feb 21, 2019Updated 6 years ago
- Implementation of AlphaZero in PyTorch.☆10Apr 19, 2019Updated 6 years ago
- ☆12Aug 22, 2018Updated 7 years ago
- ☆13Oct 16, 2025Updated 3 months ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- 🗣️ libp2p pubsub with controls exposed via a gRPC API☆14Jul 5, 2019Updated 6 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 5 months ago
- High-Level Training, Data Augmentation, and Utilities for Pytorch☆13Mar 8, 2019Updated 6 years ago
- paper and code for New Directions in Cloud Programming, CIDR 2021☆11Feb 17, 2021Updated 4 years ago
- Public repository for HPPS☆14Jan 26, 2025Updated last year
- This module contains common packages for Contiamo projects written in Go☆10Jun 12, 2024Updated last year
- A Verilog Filelist parser in Rust☆11Mar 25, 2022Updated 3 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- DateTime package for Lean 4☆16Feb 28, 2024Updated last year
- Build tools for Open-CE☆13Nov 13, 2025Updated 3 months ago