popl

Star

Here are 50 public repositories matching this topic...

vijayphoenix / Compiler-written-in-Haskell

Star

A Turing complete language 😉

language haskell parsing compiler llvm toy-language toy-compiler jit-compiler llvm-hs iith just-in-time popl

Updated Oct 3, 2020
Haskell

vijayphoenix / Car-racing-game

Star

A pseudo-3D pursuit and racing game made using SFML C++

game networking cplusplus sfml game-development concurrency c-plus-plus-game gameplay multiplayer-game hacktoberfest racing-games socket-programming racing-game pseudo-3d-game iit-hyderabad iith car-racing-game popl chor-police

Updated Sep 8, 2020
C++

kipos-lang / kipos

Star

let a million languages bloom

haskell ocaml structured-editing hindley-milner type-inference racket-lang pldi popl

Updated Apr 20, 2025
TypeScript

probsys / optimal-approximate-sampling

Star

Optimal approximate sampling from discrete probability distributions

optimization python-library sampler random-numbers random-sampling popl

Updated Mar 9, 2021
Python

vijayphoenix / IITH-BTECH-Courses

Star

IITH BTECH CSE all Courses' Codes and Assignments

reinforcement-learning computer-vision compiler eiffel dbms prolog image-processing operating-system numerical-methods representation-learning computer-architecture linear-optimization data-structures-and-algorithms computer-networks iith popl cool-compiler lattice-theory

Updated May 12, 2021
Jupyter Notebook

moocf / list-bubble-sort.racket

Star

Bubble sorts a list in ascending order.

scheme list racket sort learn bubble recursive popl

Updated Apr 10, 2025
Racket

jwalsh / popl-2025

Star

POPL 2025 conference notes and materials. Focus on AI systems, WebAssembly, and verification.

research conference notes academic webassembly verification event programming-languages org-mode ai-systems popl

Updated Jan 23, 2025
Shell

< 10BC0 div class="d-flex flex-justify-between flex-items-start flex-wrap gap-2 my-3">

moocf / recursive.interpreter

Star

An interpreter for the recursive language (POPL course).

language haskell interpreter learn recursive popl

Updated Nov 22, 2019
Haskell

moocf / functional.interpreter

Star

An interpreter for the functional language (POPL course).

language haskell functional interpreter learn popl

Updated Apr 10, 2025
Haskell

moocf / trees-assignment.racket

Star

Functional Programming on Trees.

tree popl

Updated Apr 10, 2025
Racket

moocf / arithmetic.compiler

Star

A basic number expression language compiler (POPL + compilers course).

language cpp expression arithmetic number evaluator learn compilers popl

Updated Apr 10, 2025
C++

moocf / lists-quiz.racket

Star

Implementing operations on list using functional calls such as map, foldl, apply ...

easy chicken quiz1 popl

Updated Apr 10, 2025
Racket

aniketp / popl

Star

Assignments done as a part of the course Principles of Programming Languages (CS350A)

mozart oz popl

Updated Dec 2, 2019
Oz

moocf / list-cartesian-product.racket

Star

Returns cartesian product of sos1 with sos2 (see EOPL).

scheme set product racket learn recursive sos symbol cartesian popl eopl

Updated Apr 10, 2025
Racket

cliche-niche / CS350

Star

Houses assignment submissions made in the course CS350 "Principles of Programming Languages" at IIT-K in 2023-24 I Sem.

haskell prolog assignments iitk cs350 principles-of-programming-languages popl

Updated Feb 4, 2024
Haskell

moocf / lexical.interpreter

Star

An interpreter for the lexical language (POPL course).

language haskell interpreter learn lexical popl

Updated Apr 10, 2025
Haskell

moocf / slist-down.racket

Star

Wraps parentheses around each top-level element of lst (see EOPL).

scheme list racket learn wrap recursive parentheses down popl eopl

Updated Apr 10, 2025
Racket

moocf / arithmetic.interpreter

Star

An interpreter for the arithmetic language (POPL course).

language haskell interpreter arithmetic learn popl

Updated Nov 22, 2019
Haskell

moocf / list-number-elements.racket

Star

Mark each element of list as a pair of its index and value (see EOPL).

scheme list racket number learn recursive elements popl eopl

Updated Apr 10, 2025
Racket

moocf / list-every.racket

Star

Returns #f if any element of lst fails to satisfy pred, #t otherwise (see EOPL).

scheme list racket learn recursive every predicate popl eopl

Updated Apr 10, 2025
Racket

Improve this page

Add a description, image, and links to the popl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the popl topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

popl

Here are 50 public repositories matching this topic...

vijayphoenix / Compiler-written-in-Haskell

vijayphoenix / Car-racing-game

kipos-lang / kipos

probsys / optimal-approximate-sampling

vijayphoenix / IITH-BTECH-Courses

moocf / list-bubble-sort.racket

jwalsh / popl-2025

moocf / recursive.interpreter

moocf / functional.interpreter

moocf / trees-assignment.racket

moocf / arithmetic.compiler

moocf / lists-quiz.racket

aniketp / popl

moocf / list-cartesian-product.racket

cliche-niche / CS350

moocf / lexical.interpreter

moocf / slist-down.racket

moocf / arithmetic.interpreter

moocf / list-number-elements.racket

moocf / list-every.racket

Improve this page

Add this topic to your repo