popl

There are 0 repository under popl topic.

vijayphoenix / Compiler-written-in-Haskell
A Turing complete language 😉
haskell parsing compiler llvm-hs llvm just-in-time jit-compiler toy-language toy-compiler iith popl language
Language:Haskell 40
vijayphoenix / Car-racing-game
A pseudo-3D pursuit and racing game made using SFML C++
car-racing-game pseudo-3d-game concurrency networking socket-programming multiplayer-game iith iit-hyderabad cplusplus game-development game sfml racing-games c-plus-plus-game chor-police gameplay racing-game popl hacktoberfest
Language:C++ 34
probsys / optimal-approximate-sampling
Optimal approximate sampling from discrete probability distributions
random-sampling random-numbers optimization popl sampler python-library
Language:Python 17
vijayphoenix / IITH-BTECH-Courses
IITH BTECH CSE all Courses' Codes and Assignments
iith popl operating-system compiler computer-architecture eiffel prolog data-structures-and-algorithms cool-compiler reinforcement-learning linear-optimization dbms computer-networks image-processing representation-learning numerical-methods computer-vision lattice-theory
Language:Jupyter Notebook 7
interpreterz / recursive
An interpreter for the recursive language (POPL course).
haskell interpreter language learn popl recursive
Language:Haskell 1
compilerz / arithmetic
A basic number expression language compiler (POPL + compilers course).
arithmetic compilers cpp evaluator expression language learn number popl
Language:C++ 0
interpreterz / arithmetic
An interpreter for the arithmetic language (POPL course).
learn haskell popl interpreter arithmetic language
Language:Haskell 0
interpreterz / functional
An interpreter for the functional language (POPL course).
functional haskell interpreter language learn popl
Language:Haskell 0
interpreterz / lexical
An interpreter for the lexical language (POPL course).
learn haskell popl interpreter lexical language
Language:Haskell 0
interpreterz / stores
An interpreter for the stores language (POPL course).
haskell interpreter language learn popl stores
Language:Haskell 0
racketf / list.increment-first
Increments only the first value of list.
learn scheme racket popl recursive list add1
Language:Racket 0
racketf / list.merge
Merge loi1 and loi2 in ascending order (see EOPL).
learn scheme racket popl eopl recursive list items loi merge
Language:Racket 0
racketf / list.reduce
Reduces list of values to a single value.
learn scheme raket popl recursive functional list reduce
Language:Racket 0
racketf / list.repeat-value
Returns a list containing n copies of x (see EOPL).
learn scheme racket popl eopl recursive duple
Language:Racket 0
racketf / list.reverse
Reverses the order of elements in a list.
learn scheme racket popl recursive list reverse
Language:Racket 0
racketf / list.reverse-pairs
Returns a list with each 2-list reversed (see EOPL).
learn scheme racket popl eopl recursive list invert
Language:Racket 0
racketf / list.sort-by
Returns a list of elements sorted by predicate.
learn scheme racket popl eopl recursive predicate list sort
Language:Racket 0
racketf / slist.count-value
Returns occurrences of s in slist (see EOPL)
learn scheme racket popl eopl recursive symbol list slist count occurrences
Language:Racket 0
racketf / slist.down
Wraps parentheses around each top-level element of lst (see EOPL).
learn scheme racket popl eopl recursive list wrap parentheses down
Language:Racket 0
racketf / slist.flatten
Returns list of symbols in slist in the same order (see EOPL).
learn scheme racket popl eopl recursive symbol list slist flatten
Language:Racket 0
racketf / sort
Returns a list of elements sorted in ascending order (see EOPL).
learn scheme racket popl eopl recursive list ascending sort
Language:Racket 0
racketf / filter-in
Returns list of elements in lst that satisfy the predicate pred (see EOPL).
learn scheme racket popl eopl recursive list predicate filter in
Language:Racket
racketf / list-set
Returns list with n-th element replaced by x (see EOPL).
learn scheme racket popl eopl recursive list set
Language:Racket
racketf / list.any
Returns #t if any element of lst satisfies pred, #f otherwise (see EOPL).
learn scheme racket popl eopl recursive predicate any list exists
Language:Racket
racketf / list.append
Appends a value to end of list.
learn scheme racket popl recursive list append
Language:Racket
racketf / list.bubble-sort
Bubble sorts a list in ascending order.
bubble learn list popl racket recursive scheme sort
Language:Racket
racketf / list.cartesian-product
Returns cartesian product of sos1 with sos2 (see EOPL).
learn scheme racket popl eopl recursive cartesian product set symbol sos
Language:Racket
racketf / list.every
Returns #f if any element of lst fails to satisfy pred, #t otherwise (see EOPL).
learn scheme racket popl eopl recursive predicate list every
Language:Racket
racketf / list.find-index
Returns 0-based position of first element in lst that satisfies predicate pred (see EOPL).
learn scheme racket popl eopl recursive predicate list index
Language:Racket
racketf / list.map
Applies a function to every elem.
learn list map popl racket recursive scheme
Language:Racket
racketf / list.number-elements
Mark each element of list as a pair of its index and value (see EOPL).
learn scheme racket popl eopl recursive list number elements
Language:Racket
racketf / slist.replace-map
Writing subst following original kleene star grammar using map (see EOPL).
learn scheme racket popl eopl recursive list subst map
Language:Racket
racketf / slist.replacex
Returns s-list with all occurrences of s1 replaced with s2 (see EOPL).
learn scheme racket popl eopl recursive symbol list slist swapper swap
Language:Racket
racketf / slist.up
Removes a pair of parentheses from each top-level element of lst (see EOPL).
learn scheme racket popl eopl recursive remove parentheses list up
Language:Racket
racketf / tree
Binary tree consists of nodes each with a number, and two child subtrees.
learn scheme racket popl datatype binary tree
Language:Racket
unniisme / popl-notes
Notes of Paradigms of Programming Languages
functional-programming notes popl sml standard-ml
Language:Standard ML

popl

vijayphoenix / Compiler-written-in-Haskell

vijayphoenix / Car-racing-game

probsys / optimal-approximate-sampling

vijayphoenix / IITH-BTECH-Courses

interpreterz / recursive

compilerz / arithmetic

interpreterz / arithmetic

interpreterz / functional

interpreterz / lexical

interpreterz / stores

racketf / list.increment-first

racketf / list.merge

racketf / list.reduce

racketf / list.repeat-value

racketf / list.reverse

racketf / list.reverse-pairs

racketf / list.sort-by

racketf / slist.count-value

racketf / slist.down

racketf / slist.flatten

racketf / sort

racketf / filter-in

racketf / list-set

racketf / list.any

racketf / list.append

racketf / list.bubble-sort

racketf / list.cartesian-product

racketf / list.every

racketf / list.find-index

racketf / list.map

racketf / list.number-elements

racketf / slist.replace-map

racketf / slist.replacex

racketf / slist.up

racketf / tree

unniisme / popl-notes