Alternatives and similar repositories for rise

Users that are interested in rise are comparing it to the libraries listed below

• rise-lang / shine

  View on GitHub
  The Shine compiler for the RISE language
  ☆83Feb 6, 2026Updated last week
• elevate-lang / elevate

  View on GitHub
  The implementation of the Elevate language
  ☆30Mar 21, 2025Updated 10 months ago
• SoftwareFoundationGroupAtKyotoU / SystemFg

  View on GitHub
  Implementation of Polymorphic Gradual Typing
  ☆12Sep 16, 2018Updated 7 years ago
• andreasabel / java-adt

  View on GitHub
  A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).
  ☆16Jan 12, 2026Updated last month
• pigworker / potato

  View on GitHub
  being an experiment with potato power
  ☆23Jan 14, 2020Updated 6 years ago
• miestrode / ekege

  View on GitHub
  A different approach to an E-graph library
  ☆28May 30, 2025Updated 8 months ago
• princeton-vl / MetaGen

  View on GitHub
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Oct 30, 2020Updated 5 years ago
• lahovniktadej / gatree

  View on GitHub
  Evolutionary decision trees
  ☆11Jun 16, 2025Updated 7 months ago
• VeronicaAlvarez / online-probabilistic-load-forecasting

  View on GitHub
  ☆10Jul 29, 2022Updated 3 years ago
• jespb / Python-M3GP

  View on GitHub
  An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…
  ☆11Dec 3, 2025Updated 2 months ago
• akiomik / cats-nio-file

  View on GitHub
  A thin scala wrapper for Java NIO.2, built on cats-effect 🐱
  ☆12Jun 19, 2023Updated 2 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• skoblov-lab / spliceai-reforged

  View on GitHub
  A GPU-friendly implementation of SpliceAI
  ☆11Dec 8, 2022Updated 3 years ago
• diku-dk / hpps-e2021-pub

  View on GitHub
  Public repository for the HPPS course
  ☆17Jan 17, 2022Updated 4 years ago
• Mudit7 / CUDA-ResNet

  View on GitHub
  ☆12May 8, 2020Updated 5 years ago
• bchadwic / gh-graph

  View on GitHub
  An extension for the GitHub Cli application that displays your current contribution graph
  ☆14Aug 3, 2021Updated 4 years ago
• diku-dk / dpp-e2023-pub

  View on GitHub
  Repository for the DPP'23 course
  ☆11May 2, 2024Updated last year
• senkuuuuu / Amadeus

  View on GitHub
  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
• HackerEarth-Challenges / Future_Datathon

  View on GitHub
  This is a machine learning challenge conducted by C&D Labs and Future Group in association with HackerEarth.
  ☆10Nov 17, 2017Updated 8 years ago
• Soonad / Moonad

  View on GitHub
  An upcoming operating system built on Type-Theory
  ☆43Jul 1, 2020Updated 5 years ago
• regehr / guided-tree-search

  View on GitHub
  heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape
  ☆14Jul 20, 2025Updated 6 months ago
• thayermldac / vae

  View on GitHub
  A Playground for Variational Autoencoders
  ☆12Feb 11, 2018Updated 8 years ago
• ecmwf / troika

  View on GitHub
  ☆11Mar 5, 2025Updated 11 months ago
• vanangamudi / tamil-news-classification

  View on GitHub
  Classification of tamil news headlines - experimental
  ☆13Feb 21, 2019Updated 6 years ago
• falcondai / alpha_zero

  View on GitHub
  Implementation of AlphaZero in PyTorch.
  ☆10Apr 19, 2019Updated 6 years ago
• oldclesleycode / machine-learning-series-python

  View on GitHub
  ☆12Aug 22, 2018Updated 7 years ago
• PaulSandoz / blis-matrix

  View on GitHub
  ☆13Oct 16, 2025Updated 3 months ago
• argumentcomputer / RustFFI.lean

  View on GitHub
  Template for Lean<->Rust FFI
  ☆14Feb 11, 2024Updated 2 years ago
• RTradeLtd / go-libp2p-pubsub-grpc

  View on GitHub
  🗣️ libp2p pubsub with controls exposed via a gRPC API
  ☆14Jul 5, 2019Updated 6 years ago
• stp / OutputCheck

  View on GitHub
  A tool for checking tool output inspired by LLVM's FileCheck
  ☆12Aug 29, 2025Updated 5 months ago
• achaiah / torchsample

  View on GitHub
  High-Level Training, Data Augmentation, and Utilities for Pytorch
  ☆13Mar 8, 2019Updated 6 years ago
• hydro-project / cidr2021

  View on GitHub
  paper and code for New Directions in Cloud Programming, CIDR 2021
  ☆11Feb 17, 2021Updated 4 years ago
• diku-dk / hpps-e2024-pub

  View on GitHub
  Public repository for HPPS
  ☆14Jan 26, 2025Updated last year
• contiamo / go-base

  View on GitHub
  This module contains common packages for Contiamo projects written in Go
  ☆10Jun 12, 2024Updated last year
• Raamakrishnan / verilog-filelist-parser

  View on GitHub
  A Verilog Filelist parser in Rust
  ☆11Mar 25, 2022Updated 3 years ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• T-Brick / DateTime

  View on GitHub
  DateTime package for Lean 4
  ☆16Feb 28, 2024Updated last year
• open-ce / open-ce-builder

  View on GitHub
  Build tools for Open-CE
  ☆13Nov 13, 2025Updated 3 months ago