Alternatives and similar repositories for toy_lang

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

• cataska / embracing-clojure

  View on GitHub
  擁抱 Clojure
  ☆18Apr 30, 2018Updated 7 years ago
• ice1000 / copilot-learning-materials

  View on GitHub
  My type-ups for copilot to learn from.
  ☆11Aug 30, 2022Updated 3 years ago
• funtuan / reallink-frontend

  View on GitHub
  ☆12May 21, 2021Updated 4 years ago
• soegaard / super

  View on GitHub
  Adds syntax to racket languages
  ☆11Aug 17, 2022Updated 3 years ago
• scmlab / gcl

  View on GitHub
  backend of Guabao
  ☆13Sep 3, 2024Updated last year
• hanleyc01 / rkttt

  View on GitHub
  ☆12Jun 13, 2023Updated 2 years ago
• acrojax-open / photos2folders

  View on GitHub
  Windows application for quickly organizing photos into folders
  ☆13Apr 13, 2017Updated 8 years ago
• ETBlue / gw2inventory

  View on GitHub
  Guild Wars 2 Inventory is built for players pursuing ultimate cross character assets management. Designed by ETBlue.1963.
  ☆11Feb 2, 2026Updated last week
• stamourv / optimization-coach

  View on GitHub
  Optimization Coach Plug-In for DrRacket
  ☆20Nov 21, 2025Updated 2 months ago
• jarcane / MicroMini

  View on GitHub
  A simple 8-bit virtual stack machine
  ☆16Aug 30, 2014Updated 11 years ago
• etrex / everybody-can-build-kamigo-demo

  View on GitHub
  ☆19May 2, 2018Updated 7 years ago
• ralsei / bingus

  View on GitHub
  A program synthesizer for code in the How to Design Programs curriculum
  ☆13Jan 6, 2024Updated 2 years ago
• JustinSDK / Python37Tutorial

  View on GitHub
  Python 3.7 技術手冊資料
  ☆16Sep 22, 2020Updated 5 years ago
• JustinSDK / Python39Tutorial

  View on GitHub
  Python 3.9 技術手冊資料
  ☆14Apr 23, 2022Updated 3 years ago
• ardangelo / scheme-gba

  View on GitHub
  scheme->gba : a Scheme compiler targeting ARM assembly.
  ☆13Aug 6, 2016Updated 9 years ago
• jasonhemann / micro-in-mini

  View on GitHub
  an implementation of a microKanren(-like language) in miniKanren
  ☆27Aug 1, 2014Updated 11 years ago
• ice1000 / anqur

  View on GitHub
  Elaboration with inductive types
  ☆16Jun 1, 2023Updated 2 years ago
• DIJamner / lambda-compiler

  View on GitHub
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20May 19, 2017Updated 8 years ago
• SenseTW / sensetw

  View on GitHub
  gigantic repository
  ☆21Jan 11, 2023Updated 3 years ago
• takikawa / wasm-redex

  View on GitHub
  WebAssembly model in Redex
  ☆16May 16, 2019Updated 6 years ago
• hbl917070 / CaptureExplorer

  View on GitHub
  ☆42Aug 8, 2019Updated 6 years ago
• TOTBWF / teenytt

  View on GitHub
  A Teeny Type Theory
  ☆27Jun 4, 2022Updated 3 years ago
• brlin-tw / GNU-Bash-Shell-Script-Template

  View on GitHub
  Easy-to-use GNU Bash shell script templates for for users to create new scripts.
  ☆18Dec 14, 2024Updated last year
• dannvix / COSCUP_Agenda

  View on GitHub
  幫助您參加 COSCUP 時快速找到下一場議程要聽什麼！
  ☆19Jul 29, 2022Updated 3 years ago
• RichardGanaye / Cox-Galois-Theory-Exercises

  View on GitHub
  Exercises Galois theory D. Cox
  ☆12Jun 29, 2023Updated 2 years ago
• dev625 / Parking-Lot-Management-System

  View on GitHub
  Group Project for the Course ECE 4080 : OOP using C++
  ☆10Jan 2, 2022Updated 4 years ago
• Guest0x0 / pruning-tutor

  View on GitHub
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆26Oct 20, 2022Updated 3 years ago
• thiagofelicissimo / BiTTs

  View on GitHub
  ☆25Aug 30, 2024Updated last year
• SaltyPW / SaltyPW.github.io

  View on GitHub
  ☆17Dec 30, 2021Updated 4 years ago
• joes-esolangs / barrel

  View on GitHub
  An esoteric RPN golfing language
  ☆24Sep 3, 2022Updated 3 years ago
• dannypsnl / elz

  View on GitHub
  A polymorphism object-oriented programming language
  ☆24May 5, 2020Updated 5 years ago
• TitanLi / smart-data-center

  View on GitHub
  ☆24Sep 4, 2020Updated 5 years ago
• NjohPrince / CarRentalSystem

  View on GitHub
  Car Rental System using java programming language
  ☆10Jun 23, 2021Updated 4 years ago
• RedPRL / stagedtt

  View on GitHub
  🪆 A Staged Type Theory
  ☆35Sep 4, 2023Updated 2 years ago
• bsaleil / lc

  View on GitHub
  JIT compiler for Scheme targeting x86-64 platforms
  ☆32May 11, 2019Updated 6 years ago
• shawnpeng17 / 17vpn

  View on GitHub
  ☆12Jun 18, 2024Updated last year
• jdposada / oop_202201

  View on GitHub
  IST 2110 Undergrad Course on Object Oriented Programming in Python 2022-01
  ☆11Mar 24, 2022Updated 3 years ago
• tree-sitter / tree-sitter-agda

  View on GitHub
  Agda grammar for tree-sitter
  ☆42Aug 30, 2025Updated 5 months ago
• kdchang / javascript101-lite

  View on GitHub
  This is the lite version of JavaScript 101 Course
  ☆32Mar 28, 2019Updated 6 years ago