|
Rust |
11 |
A proof assistant that is also a programming language. |
Aug 06, 2022 |
|
F* |
2314 |
A Proof-oriented Programming Language |
Oct 20, 2022 |
|
C++ |
4 |
Pacman game |
May 23, 2022 |
|
C |
2 |
Pacman game |
Mar 03, 2021 |
|
JavaScript |
2 |
Pacman Game |
May 18, 2023 |
|
C++ |
2 |
Proof that C++ templates are effectively a pure functional programming language |
Dec 02, 2020 |
|
V |
6 |
A tiny, proof of concept, programming language. |
Feb 02, 2023 |
|
JavaScript |
2 |
A pacman game |
Nov 03, 2021 |
|
JavaScript |
2 |
Simple Pacman game |
Feb 10, 2023 |
|
Common Lisp |
2 |
A Pacman game |
Nov 21, 2022 |
|
Java |
2 |
A pacman game |
Apr 05, 2023 |
|
Forth |
74 |
Conway's Game of Life in APL in FORTH: how to implement a weird programming language … |
Apr 26, 2023 |
|
C |
3 |
The game programming language |
May 26, 2019 |
|
JavaScript |
2 |
Proof-of-concept declarative 'programming language' in RDF. |
Mar 16, 2021 |
|
Rust |
2 |
A Programming language that you can not code into |
May 04, 2023 |
|
JavaScript |
22 |
live game of pacman |
Jun 09, 2022 |
|
Python |
2 |
Pacman game with python |
May 02, 2022 |
|
OCaml |
2 |
Challenge to implement Programming Language Haskell in OCaml |
Oct 18, 2013 |
|
Rust |
19 |
Rust language game programming library |
Nov 17, 2021 |
|
C++ |
43 |
An asynchronous programming library for the QML programming language (Proof of Concept) |
Jul 21, 2022 |
|
TypeScript |
5 |
High-level programming language that can be compiled to Brainfuck |
Feb 07, 2022 |
|
None |
7 |
A programming style that can be used in any language |
Dec 25, 2020 |
|
Processing |
191 |
I built the pacman game without the ai for pacman |
Jan 19, 2023 |
|
R |
21 |
Pacman-ish game in R |
Sep 10, 2022 |
|
Java |
2 |
Simple Pacman Game in CLI |
May 01, 2023 |
|
Python |
2 |
Pacman game and AI agents |
Oct 16, 2022 |
|
Erlang |
12 |
Pacman game implemented in Erlang |
Apr 20, 2023 |
|
Java |
3 |
Programming language based off CJam to implement XKCD's X |
Feb 18, 2021 |
|
GDScript |
3 |
"Pacman" like game created in godot game engine |
Jan 24, 2023 |
|
Java |
2 |
Pacman 1-D Game for Java Game Engine |
Oct 07, 2023 |
|
Java |
23 |
A toy programming language to learn how to design and implement programming languages |
May 15, 2022 |
|
None |
3 |
A toy programming language to learn how to design and implement programming languages |
Sep 24, 2022 |
|
TypeScript |
37 |
React components that implement Tlon's design language |
Jul 14, 2022 |
|
JavaScript |
3 |
three.js game extensions for pacman characters |
Jun 18, 2021 |
|
Java |
3 |
A JavaFX game to play Pacman |
Sep 01, 2021 |
|
C++ |
8 |
make a pacman game with Qt |
Apr 17, 2023 |
|
Dart |
24 |
PacMan game example implemented using Bonfire |
Mar 10, 2023 |
|
Racket |
4 |
Symbolic Virtual Machine for Automated R1CS Verification |
May 26, 2022 |
|
Racket |
4 |
A collection of recipes for 'RSound: A Sound Engine for Racket' library |
Feb 01, 2022 |
|
Racket |
4 |
Racket code analysis |
Dec 09, 2021 |
|
Racket |
4 |
Infix expression for Racket |
May 19, 2022 |
|
Racket |
4 |
Experiments with require |
May 20, 2017 |
|
Racket |
4 |
A Racket implementation of the Troll dice-rolling language |
Jan 05, 2022 |
|
Racket |
4 |
URI Template (RFC 6570) for Racket |
Mar 21, 2019 |
|
Racket |
4 |
2020年春季学期 北京大学 函数式程序设计(郭炜老师主讲)习题代码整理 |
Jun 12, 2022 |
|
Racket |
4 |
Invoke `raco test` with `errortrace` on |
Jul 21, 2022 |
|
Racket |
4 |
SICP exercises in Haskell or Racket |
Sep 05, 2021 |
|
Racket |
4 |
Efficient enumeration of polymorphic λ-terms from System Fω. |
Nov 16, 2021 |
|
Racket |
4 |
This library provides a table-panel% class that specializes the panel% class to provide a panel … |
Oct 30, 2021 |
|
Racket |
4 |
Some university work and other stuff |
Apr 07, 2022 |