|
Kotlin |
2 |
LeanVM is a lean and fast bytecode and virtual machine, designed from the ground up … |
Sep 09, 2022 |
|
Go |
5 |
A Swahili Programming Language built from the ground up |
May 21, 2023 |
|
Haskell |
2 |
A programming language designed for embedded use in applications. |
Aug 11, 2023 |
|
Lean |
13 |
Programming Language Foundations in Lean |
Apr 20, 2023 |
|
Lean |
1748 |
Lean 4 programming language and theorem prover |
Aug 22, 2022 |
|
Kotlin |
2 |
Everything and Anything... ;) |
Jul 06, 2022 |
|
Assembly |
4 |
"Programming from the Ground up" solutions |
Mar 20, 2023 |
|
Rust |
3 |
A little programming language, designed to be embedded inside another one. |
Jun 02, 2023 |
|
Assembly |
4 |
Working through Programming From The Ground Up |
Jun 30, 2018 |
|
HTML |
4 |
Documentation for the Blech embedded programming language |
Jan 03, 2022 |
|
JavaScript |
160 |
An embedded language for probabilistic programming and meta-programming. |
Apr 12, 2023 |
|
Python |
2 |
A toolbox for learning anything and everything from data. |
Jul 01, 2020 |
|
C++ |
10 |
Embedded Scripting Language Designed for C++ |
Aug 02, 2022 |
|
C++ |
2722 |
Embedded Scripting Language Designed for C++ |
Apr 10, 2023 |
|
Python |
2 |
Notes about anything and everything |
Mar 19, 2018 |
|
Julia |
16 |
Featherweight embedded probabilistic programming language and compositional inference programming library |
May 28, 2020 |
|
Assembly |
2 |
"Programming from the Ground Up" by Jonathan Bartlett |
May 07, 2023 |
|
Zig |
150 |
LoLa is a small programming language meant to be embedded into games. |
Apr 13, 2023 |
|
C++ |
56 |
C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability … |
Dec 23, 2019 |
|
Assembly |
2 |
NASM ports of exercises from Programming from the Ground Up |
Apr 12, 2023 |
|
Racket |
151 |
Constraint programming language embedded in Racket |
Apr 10, 2023 |
|
Lean |
2 |
A field guide to the operators and keywords of the Lean 4 functional programming language. |
Jan 07, 2023 |
|
Go |
7 |
Exercises from around the web, programming books, courses, and anything else. |
Nov 08, 2022 |
|
JavaScript |
2 |
This repository contains everything related to the javascript programming language. |
Dec 12, 2021 |
|
Java |
2 |
An embedded web server and web framework for the Leola Programming Language |
Feb 07, 2020 |
|
Java |
88 |
The trygve language project - Building a DCI-centric language from the ground up |
Sep 05, 2022 |
|
Julia |
18 |
K programming language dialect embedded in Julia |
Apr 02, 2023 |
|
JavaScript |
9 |
The ClojureScript Programming Language, bootstrapped into JavaScript |
Dec 31, 2019 |
|
Rust |
2 |
Unfinished programming language, designed around cohesiveness. |
Dec 14, 2022 |
|
TypeScript |
5 |
Modern implementation of the Karol programming language. This web app is designed to get students … |
Apr 19, 2022 |
|
TypeScript |
2 |
ormalization of the textbooks Analysis_1 & Analysis_2 by Terence Tao in the LEAN programming language |
Nov 07, 2021 |
|
Java |
2 |
Java implementation of the Push programming language, a stack based language designed for genetic programming. |
Dec 24, 2022 |
|
C# |
5 |
C# implementation of the Push programming language, a stack-based language designed for genetic programming. |
Apr 21, 2023 |
|
Rust |
5 |
A programming language designed for the DiamondFire Minecraft server. |
Apr 25, 2023 |
|
Odin |
9 |
The Midgard Programming Language - designed specifically for the WASM platform |
Jul 27, 2022 |
|
C++ |
3 |
A lisp designed to be an embedded scripting language. |
Jun 20, 2017 |
|
C |
2 |
Problems and exercises from "The C Programming Language". |
Dec 28, 2016 |
|
C++ |
2 |
Terra is a low-level system programming language that is embedded in and meta-programmed by the … |
Feb 22, 2022 |
|
Go |
374 |
Gort is a chatbot framework designed from the ground up for chatops. |
Aug 17, 2022 |
|
Emacs Lisp |
2 |
Read data from Everything into Emacs |
Nov 23, 2022 |
|
None |
2 |
Documentation for everything and anything related to journals |
Mar 08, 2018 |
|
None |
2 |
Everything and anything around Docker, K3s & Jetson Nano |
Aug 29, 2023 |
|
Rust |
3 |
A beginners workshop into the Rust programming language |
Jan 30, 2021 |
|
C |
2 |
dig into implemention of the go programming language |
Jul 04, 2019 |
|
None |
1761 |
dig into implemention of the go programming language |
May 13, 2023 |
|
C |
8 |
Ape is a lightweight embedded dialect of the Lisp programming language. |
May 09, 2023 |
|
None |
2 |
The official discord bot related to anything and everything we do! |
Jan 10, 2023 |
|
C |
254 |
A programming language designed for robot swarms. |
Jun 23, 2022 |
|
None |
2 |
A programming language designed for robot swarms. |
Mar 05, 2023 |
|
C |
2 |
Examples from "The C Programming Language" |
Oct 02, 2020 |