|
Haskell |
26 |
Types and Programming Languages (TAPL) |
Mar 15, 2023 |
|
Haskell |
3 |
Codes for the book " Types and Programming Languages (TaPL)" |
Dec 05, 2019 |
|
TypeScript |
653 |
yet another Typescript type library for advanced types |
May 06, 2023 |
|
OCaml |
5 |
Types and Programming Languages |
Aug 21, 2019 |
|
TypeScript |
174 |
Yet another servers monitor written in TypeScript |
Aug 30, 2022 |
|
TypeScript |
2 |
Yet another event emitter written in typescript 😔 |
May 02, 2023 |
|
OCaml |
8 |
Types and programming languages in reason |
Aug 19, 2021 |
|
Rust |
4 |
Yet Another Programming Language |
Sep 15, 2021 |
|
Python |
7 |
Yet another programming language |
Mar 24, 2023 |
|
None |
2 |
Yet Another Programming Language |
Feb 21, 2024 |
|
TypeScript |
11 |
Yet another Twitch bot written on typescript, focused on perfomance. |
Feb 28, 2023 |
|
C++ |
4 |
A collection of various data structures and algorithms implementations in different programming languages. |
Oct 30, 2022 |
|
TypeScript |
2 |
TypeScript types collection |
Jul 14, 2023 |
|
TeX |
17 |
Mechanizing Types and Programming Languages using Beluga |
Jan 12, 2023 |
|
OCaml |
3 |
exercises from "types and programming languages" (pierce) |
Nov 30, 2020 |
|
TypeScript |
2 |
Yet another typescript game engine |
Feb 10, 2023 |
|
TypeScript |
8 |
Typescript implementations of Rust's std types |
Feb 13, 2022 |
|
Racket |
13 |
Implementations of various toy programming languages |
Mar 16, 2023 |
|
C++ |
12 |
Yet another small programming language and VM. |
Jan 22, 2023 |
|
HTML |
5 |
Yet another beginner programming guide |
Apr 20, 2021 |
|
C |
14 |
Yet another esoteric programming language. |
Feb 18, 2023 |
|
Emacs Lisp |
2 |
Yet another collection of dotfiles |
Oct 31, 2022 |
|
Haskell |
3 |
Haskell implementation of the "Types and Programming Languages" |
May 18, 2014 |
|
TypeScript |
9 |
Yet another configurable linter for TypeScript and JavaScript. |
Nov 30, 2021 |
|
Less |
38 |
Yet another boilerplate for TypeScript and React developers. |
May 23, 2022 |
|
TypeScript |
5 |
Yet another typescript library starter template |
Jul 12, 2022 |
|
CSS |
13 |
WebSocket API description and implementations for several programming languages |
Jan 18, 2022 |
|
Rust |
4 |
Data structure and algorithm implementations in various programming languages |
Apr 13, 2023 |
|
None |
2 |
List of Programming Languages and its Implementations maintained now |
Feb 13, 2019 |
|
None |
40 |
Compare backend implementations in different programming languages. |
Jun 15, 2021 |
|
Rust |
4 |
Yet another OS written in Rust |
Sep 05, 2020 |
|
Haskell |
5 |
Yet Another Git – Written in Haskell |
Apr 18, 2016 |
|
TypeScript |
3 |
Yet another typescript service starter template, functional |
Aug 18, 2022 |
|
TypeScript |
14 |
Yet another Yeoman generator for TypeScript packages |
Jun 13, 2022 |
|
TypeScript |
2 |
Yet another boilerplate for Electron + React + TypeScript |
Dec 29, 2021 |
|
TypeScript |
3 |
Yet another TypeScript OpenAPI generator for Express |
Sep 15, 2022 |
|
C |
2 |
Yet another programming language made by Camroku.TECH |
Jul 16, 2022 |
|
C |
8 |
Yet another language oriented on functional programming. |
Dec 05, 2022 |
|
Makefile |
6 |
Yet another Brainfuck interpreter and dialect. Written in Nim. |
Jun 17, 2022 |
|
C# |
2 |
Yet another RSS Reader written in C# and Blazor |
Mar 01, 2022 |
|
Clojure |
17 |
Yet another scheme dialect written in Clojure and ClojureScript |
Jul 26, 2021 |
|
Rust |
100 |
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras! |
Aug 08, 2022 |
|
Haskell |
3 |
Doing some practices in the book Types and Programming Languages |
Oct 06, 2021 |
|
Clojure |
14 |
Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic |
Apr 25, 2019 |
|
Scheme |
36 |
Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic |
Apr 09, 2023 |
|
TypeScript |
8 |
Yet another moddableSDK project boilerplate with typescript, eslint and prettier. |
Oct 17, 2021 |
|
None |
2 |
Yet another collection of Hello World programs |
Jan 02, 2022 |
|
Java |
2 |
Yet another collection of Hello World programs |
Aug 18, 2021 |
|
OCaml |
23 |
A collection of programming languages and type systems. |
May 29, 2023 |
|
AutoIt |
4 |
Yet another HTML Parser written in AutoIt |
Jun 20, 2021 |