Alternatives and similar repositories for cmsc330spring2024:

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

• CIS1900 / 2022-fall
  ☆12Updated 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
• cmsc330spring24 / cmsc330spring24
  ☆59Updated 10 months ago
• ElnurMustafayev / FBES_1229
  ☆15Updated 10 months ago
• jacopoMauro / dm552
  Programming Languages course repository
  ☆10Updated 3 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated 2 months ago
• zhengguan / 15122
  ☆15Updated 9 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆49Updated 3 months ago
• claytonwramsey / fiddler
  A UCI-compatible chess engine, written in Rust. Currently in developlent.
  ☆26Updated 11 months ago
• ryo-imai-bit / Writing-An-Interpreter-In-Go-In-OCaml
  InterpreterInGo In OCaml
  ☆15Updated 2 years ago
• chiroptical / snail
  A programming language for gastropods
  ☆12Updated 9 months ago
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 8 months ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆27Updated 3 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated last week
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆65Updated 2 weeks ago
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆114Updated 6 years ago
• stanford-cs242 / f18-assignments
  ☆24Updated 6 years ago
• Eryc123Y / Math-for-Computer-Science
  A math resource for CS student
  ☆16Updated 4 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆92Updated 3 months ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 6 months ago
• codereport / LeetCode
  Solutions to LeetCode problems in C++, Python, Haskell, APL, Java, Ruby, Rust, Racket, Scala, Kotlin, C#, F#, Clojure, Elixir, Swift, Jul…
  ☆164Updated last week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• zhengguan / 15150-1
  ☆27Updated 7 years ago
• nt591 / monkey-ocaml
  Ocaml code from Writing an Interpreter in Go
  ☆10Updated 5 years ago
• OpenGenus / master-c-programming
  Master C Programming practically. 6 weeks master bootcamp.
  ☆12Updated last year
• SchrodingerZhu / rura
  RUst way for Reuse Analysis
  ☆12Updated 11 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last week
• dhammikamare / Learn-OCaml
  This repo contains basic Ocaml code examples.
  ☆12Updated 8 years ago