CatalaLang/catala
Programming language for literate programming law specification
Language: OCaml
Total stars: 1236
Stars trend:
17 Sep 2023
#ocaml
#legislativetexts, #programminglanguage
Programming language for literate programming law specification
Language: OCaml
Total stars: 1236
Stars trend:
17 Sep 2023
4pm █ +8
5pm █████▋ +45
6pm █████▊ +46
7pm █████▌ +44
8pm ███▋ +29
9pm █████▏ +41
#ocaml
#legislativetexts, #programminglanguage
wasp-lang/wasp
The fastest way to develop full-stack web apps with React & Node.js.
Language: Haskell
Total stars: 4461
Stars trend:
2 Oct 2023
#haskell
#compiler, #hacktoberfest, #haskell, #javascript, #node, #prisma, #programminglanguage, #react, #wasp, #webapp
The fastest way to develop full-stack web apps with React & Node.js.
Language: Haskell
Total stars: 4461
Stars trend:
2 Oct 2023
3am ▎ +2
4am ▎ +2
5am ▍ +3
6am ████▎ +34
7am ███▊ +30
8am ██▉ +23
9am ██▏ +17
10am ██ +16
11am ██▏ +17
12pm ████▉ +39
1pm ████▊ +38
#haskell
#compiler, #hacktoberfest, #haskell, #javascript, #node, #prisma, #programminglanguage, #react, #wasp, #webapp
charlax/professional-programming
A collection of learning resources for curious software engineers
Language:Python
Total stars: 25126
Stars trend:
#python
#architecture, #computerscience, #concepts, #documentation, #engineer, #learning, #lessonslearned, #professional, #programmer, #programminglanguage, #readarticles, #scalability, #softwareengineering
A collection of learning resources for curious software engineers
Language:Python
Total stars: 25126
Stars trend:
19 Feb 2024
1pm ██████████████████▊ +157#python
#architecture, #computerscience, #concepts, #documentation, #engineer, #learning, #lessonslearned, #professional, #programmer, #programminglanguage, #readarticles, #scalability, #softwareengineering
candy-lang/candy
🍭 A sweet programming language that is robust, minimalistic, and expressive.
Language:Rust
Total stars: 196
Stars trend:
#rust
#compiler, #fuzzer, #hacktoberfest, #language, #languageserver, #programminglanguage, #rust
🍭 A sweet programming language that is robust, minimalistic, and expressive.
Language:Rust
Total stars: 196
Stars trend:
24 Feb 2024
5pm ▎ +2
6pm +0
7pm █ +8
8pm ▊ +6
9pm ▌ +4
10pm █▏ +9
11pm ▊ +6
25 Feb 2024
12am ▌ +4
1am █ +8
2am ▋ +5#rust
#compiler, #fuzzer, #hacktoberfest, #language, #languageserver, #programminglanguage, #rust
lining808/CS-Ebook
一个高质量、经典计算机电子书库，书库特点为：只收集高质量，各方向经典书籍，不求书多，只求书精，无广告，完全免费。
Language:Python
Total stars: 363
Stars trend:
#python
#ai, #computerscience, #datascience, #deeplearning, #ebooks, #programminglanguage
一个高质量、经典计算机电子书库，书库特点为：只收集高质量，各方向经典书籍，不求书多，只求书精，无广告，完全免费。
Language:Python
Total stars: 363
Stars trend:
26 Feb 2024
11pm ▏ +1
27 Feb 2024
12am +0
1am ▏ +1
2am +0
3am +0
4am ██▏ +17
5am ███▌ +28
6am █████████████████ +136#python
#ai, #computerscience, #datascience, #deeplearning, #ebooks, #programminglanguage
gleam-lang/gleam
⭐️ A friendly language for building type-safe, scalable systems!
Language:Rust
Total stars: 5987
Stars trend:
#rust
#compiler, #erlang, #gleam, #programminglanguage, #staticallytyped
⭐️ A friendly language for building type-safe, scalable systems!
Language:Rust
Total stars: 5987
Stars trend:
4 Mar 2024
3pm ▊ +6
4pm ▍ +3
5pm ▊ +6
6pm ▏ +1
7pm ▎ +2
8pm ▍ +3
9pm ▍ +3
10pm █▌ +12
11pm ▍ +3
5 Mar 2024
12am ▌ +4
1am ▎ +2
2am ▉ +7#rust
#compiler, #erlang, #gleam, #programminglanguage, #staticallytyped
refaktor/rye
homoiconic dynamic programming language with some new ideas
Language:Go
Total stars: 169
Stars trend:
#go
#console, #factor, #golang, #programminglanguage, #rebol, #ryelang
homoiconic dynamic programming language with some new ideas
Language:Go
Total stars: 169
Stars trend:
23 Mar 2024
7pm █▎ +10
8pm █▍ +11
9pm ▉ +7
10pm █▎ +10
11pm █▎ +10
24 Mar 2024
12am ▉ +7
1am ▍ +3
2am █ +8
3am ▉ +7
4am ▊ +6#go
#console, #factor, #golang, #programminglanguage, #rebol, #ryelang
winglang/wing
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
Language:TypeScript
Total stars: 3784
Stars trend:
#typescript
#cloud, #compiler, #devopstools, #devtool, #language, #programminglanguage, #rust, #sdk, #serverless, #typescript, #winglang
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
Language:TypeScript
Total stars: 3784
Stars trend:
3 Apr 2024
2pm █ +8
3pm █▎ +10
4pm ▊ +6
5pm █▊ +14
6pm ▊ +6
7pm █▌ +12
8pm ▉ +7
9pm ▋ +5
10pm ▎ +2
11pm ▌ +4
4 Apr 2024
12am ▋ +5
1am ▉ +7#typescript
#cloud, #compiler, #devopstools, #devtool, #language, #programminglanguage, #rust, #sdk, #serverless, #typescript, #winglang
borgo-lang/borgo
Borgo is a statically typed language that compiles to Go.
Language:Rust
Total stars: 1269
Stars trend:
#rust
#compiler, #golang, #programminglanguage, #rustlang
Borgo is a statically typed language that compiles to Go.
Language:Rust
Total stars: 1269
Stars trend:
30 Apr 2024
8pm ███████▋ +61
9pm ████████▍ +67
10pm ████▋ +37
11pm █████████▏ +73
1 May 2024
12am █████████▍ +75
1am ███████▉ +63
2am ██████▌ +52
3am ███████▊ +62
4am █████████▊ +78
5am ███████████▌ +92
6am █████████▊ +78
7am ██████████▎ +82#rust
#compiler, #golang, #programminglanguage, #rustlang
google/wuffs
Wrangling Untrusted File Formats Safely
Language:C
Total stars: 3854
Stars trend:
#c
#codec, #memorysafety, #parsing, #programminglanguage
Wrangling Untrusted File Formats Safely
Language:C
Total stars: 3854
Stars trend:
17 May 2024
8pm ▏ +1
9pm █▊ +14
10pm ██ +16
11pm █▋ +13
18 May 2024
12am █ +8
1am █▏ +9
2am █ +8
3am ▊ +6#c
#codec, #memorysafety, #parsing, #programminglanguage
Snektron/pareas
GPU-accelerated compiler
Language:Futhark
Total stars: 217
Stars trend:
#futhark
#compiler, #cpp, #futhark, #gpgpu, #programminglanguage
GPU-accelerated compiler
Language:Futhark
Total stars: 217
Stars trend:
17 May 2024
8pm ▉ +7
9pm █▊ +14
10pm ▊ +6
11pm █ +8
18 May 2024
12am ▊ +6
1am ▎ +2
2am ▎ +2
3am █ +8
4am ▊ +6
5am ▋ +5
6am █ +8
7am ▌ +4#futhark
#compiler, #cpp, #futhark, #gpgpu, #programminglanguage
JetBrains/kotlin
The Kotlin Programming Language.
Language:Kotlin
Total stars: 47914
Stars trend:
#kotlin
#compiler, #gradleplugin, #intellijplugin, #kotlin, #kotlinlibrary, #mavenplugin, #programminglanguage, #wasm, #webassembly
The Kotlin Programming Language.
Language:Kotlin
Total stars: 47914
Stars trend:
23 May 2024
8pm ▍ +3
9pm █ +8
10pm ▋ +5
11pm ▉ +7
24 May 2024
12am █▏ +9
1am ▏ +1
2am ▊ +6
3am ▋ +5
4am █▏ +9
5am ▊ +6
6am ▊ +6
7am █▌ +12#kotlin
#compiler, #gradleplugin, #intellijplugin, #kotlin, #kotlinlibrary, #mavenplugin, #programminglanguage, #wasm, #webassembly
mazeppa-dev/mazeppa
A modern supercompiler for call-by-value functional languages
Language:OCaml
Total stars: 199
Stars trend:
#ocaml
#compiler, #functional, #functionalprogramming, #intermediaterepresentation, #language, #optimization, #performance, #programanalysis, #programminglanguage, #staticanalysis, #supercompiler, #symbolicexecution
A modern supercompiler for call-by-value functional languages
Language:OCaml
Total stars: 199
Stars trend:
14 Jul 2024
10am █▏ +9
11am █▎ +10
12pm ▋ +5
1pm █▎ +10
2pm ▋ +5
3pm ▋ +5
4pm ▉ +7
5pm █▎ +10
6pm █ +8
7pm █▏ +9#ocaml
#compiler, #functional, #functionalprogramming, #intermediaterepresentation, #language, #optimization, #performance, #programanalysis, #programminglanguage, #staticanalysis, #supercompiler, #symbolicexecution
pedropark99/zig-book
An open and introductory book for the Zig programming language (🚧 in construction 🚧)
Language:Zig
Total stars: 87
Stars trend:
#zig
#book, #programming, #programminglanguage, #zig, #ziglang
An open and introductory book for the Zig programming language (🚧 in construction 🚧)
Language:Zig
Total stars: 87
Stars trend:
19 Jul 2024
3pm █▎ +10
4pm ▊ +6
5pm ▋ +5
6pm ▍ +3
7pm ▌ +4
8pm █▏ +9
9pm █▎ +10
10pm ▉ +7
11pm ▎ +2
20 Jul 2024
12am ▋ +5
1am ▊ +6
2am █ +8#zig
#book, #programming, #programminglanguage, #zig, #ziglang
penrose/penrose
Create beautiful diagrams just by typing notation in plain text.
Language:TypeScript
Total stars: 7220
Stars trend:
#typescript
#diagrams, #domainspecificlanguage, #mathematics, #programminglanguage, #visualization
Create beautiful diagrams just by typing notation in plain text.
Language:TypeScript
Total stars: 7220
Stars trend:
25 Sep 2024
10pm ▏ +1
11pm ▉ +7
26 Sep 2024
12am ▉ +7
1am █▋ +13
2am █▎ +10
3am █ +8
4am ▎ +2
5am ▉ +7
6am █▎ +10
7am ▊ +6
8am ▎ +2
9am ▊ +6#typescript
#diagrams, #domainspecificlanguage, #mathematics, #programminglanguage, #visualization
gurugio/lowlevelprogramming-university
How to be low-level programmer
Language:
Total stars: 10701
Stars trend:
#arduino, #assembly, #assemblylanguageprogramming, #cprogramming, #embeddedsystems, #firmware, #hardware, #linuxkernel, #linuxkernelhacking, #lowlevel, #lowlevelprogramming, #operatingsystem, #programminglanguage, #rustlang, #systemprogramming
How to be low-level programmer
Language:
Total stars: 10701
Stars trend:
14 Jan 2025
1pm ▏ +1
2pm +0
3pm +0
4pm +0
5pm ▏ +1
6pm ██▉ +23
7pm ████▏ +33
8pm ████▎ +34
9pm ███▍ +27
10pm ██▋ +21
11pm █▋ +13#arduino, #assembly, #assemblylanguageprogramming, #cprogramming, #embeddedsystems, #firmware, #hardware, #linuxkernel, #linuxkernelhacking, #lowlevel, #lowlevelprogramming, #operatingsystem, #programminglanguage, #rustlang, #systemprogramming
Grisshink/scrap
Scrap is a project that allows anyone to build software using simple, block based interface.
Language:C
Total stars: 43
Stars trend:
#c
#c, #programminglanguage, #raylib, #scrap, #scratch
Scrap is a project that allows anyone to build software using simple, block based interface.
Language:C
Total stars: 43
Stars trend:
26 Jan 2025
7pm ▋ +5
8pm ███████████████▍ +123
9pm ▋ +5
10pm ▎ +2
11pm ▍ +3#c
#c, #programminglanguage, #raylib, #scrap, #scratch
aspizu/goboscript
goboscript is the Scratch compiler
Language:Rust
Total stars: 290
Stars trend:
#rust
#compiler, #programminglanguage, #rust, #scratch
goboscript is the Scratch compiler
Language:Rust
Total stars: 290
Stars trend:
19 May 2025
6am ███ +24
7am █▌ +12
8am ▋ +5
9am █▋ +13
10am ▉ +7
11am ▋ +5
12pm ▎ +2
1pm █ +8
2pm █▍ +11
3pm █▏ +9
4pm ▋ +5
5pm ▎ +2#rust
#compiler, #programminglanguage, #rust, #scratch
nature-lang/nature
The Nature Programming Language
Language:C
Total stars: 1037
Stars trend:
#c
#compiler, #hacktoberfest, #language, #nature, #programminglanguage
The Nature Programming Language
Language:C
Total stars: 1037
Stars trend:
20 May 2025
1am █▊ +14
2am ██████ +48
3am █████████▉ +79
4am ████▍ +35
5am █████▏ +41#c
#compiler, #hacktoberfest, #language, #nature, #programminglanguage
iamgio/quarkdown
🪐 Markdown with superpowers — from ideas to presentations, articles and books.
Language:Kotlin
Total stars: 1292
Stars trend:
#kotlin
#compiler, #markdown, #markdownparser, #markuplanguage, #paper, #pdf, #presentations, #programminglanguage, #scriptinglanguage, #slides, #typesetting, #typesettingsystem
🪐 Markdown with superpowers — from ideas to presentations, articles and books.
Language:Kotlin
Total stars: 1292
Stars trend:
2 Jun 2025
10pm ▏ +1
11pm +0
3 Jun 2025
12am +0
1am ▏ +1
2am ▏ +1
3am ▏ +1
4am +0
5am +0
6am +0
7am +0
8am ██████▍ +51
9am █████████ +72#kotlin
#compiler, #markdown, #markdownparser, #markuplanguage, #paper, #pdf, #presentations, #programminglanguage, #scriptinglanguage, #slides, #typesetting, #typesettingsystem