anwarmamat / cmsc330spring2024

Related projects ⓘ

Alternatives and complementary repositories for cmsc330spring2024

• ElnurMustafayev / FBES_1229
  ☆15Updated 6 months ago
• BrownCS1260 / class-compiler-2022
  This repository contains the compiler we are building in class, and supporting libraries, updated after each class.
  ☆7Updated last year
• CIS1900 / 2022-fall
  ☆11Updated 2 months ago
• jacopoMauro / dm552
  Programming Languages course repository
  ☆10Updated 2 years ago
• cmsc330spring24 / cmsc330spring24
  ☆59Updated 6 months ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆30Updated 3 weeks ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 7 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆47Updated this week
• CSE232-MSU / CSE232
  CSE 232 - Introduction to Programming II at Michigan State University
  ☆9Updated last month
• blanchette / interactive_theorem_proving_2024
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆57Updated 3 months ago
• NightShade256 / prymate
  A Monkey Language interpreter, written in Python.
  ☆10Updated 4 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆10Updated last year
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆30Updated last year
• EasyKayzey / CASprzak
  CASprzak is a Computer Algebra System by EasyKayzey (Erez Israeli Miller and Michael Kasprzak)
  ☆11Updated last month
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated last year
• lucu-language / lucu
  A systems programming language with lexical effect handlers
  ☆13Updated last month
• ryo-imai-bit / Writing-An-Interpreter-In-Go-In-OCaml
  InterpreterInGo In OCaml
  ☆14Updated last year
• playXE / migc
  Simple conservative GC using mimalloc
  ☆38Updated 2 years ago
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆34Updated 3 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆41Updated last year
• lynn / universal-lambda
  A minimal esolang based on lambda calculus
  ☆15Updated 3 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated 2 weeks ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 3 months ago
• LegionMammal978 / Mthmtca
  A version of Mathematica for golfing purposes.
  ☆11Updated 7 months ago
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• samarthkishor / crafting-interpreters
  An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml
  ☆13Updated 4 years ago
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆50Updated last week
• chiroptical / snail
  A programming language for gastropods
  ☆12Updated 5 months ago