|
Idris |
3 |
Dependent Types research in the Idris language |
Feb 01, 2021 |
|
Swift |
40 |
An experimental functional programming language with dependent types, inspired by Swift and Idris. |
Apr 13, 2022 |
|
Idris |
13 |
A translation of Certified Programming with Dependent Types to Idris. |
Aug 24, 2017 |
|
Haskell |
19 |
A language with dependent types |
Jun 23, 2020 |
|
Haskell |
7 |
A language with dependent types |
Aug 02, 2017 |
|
Go |
790 |
General purpose Language Server |
Aug 04, 2022 |
|
C++ |
2 |
General purpose coding language |
Mar 27, 2023 |
|
C |
4 |
General purpose programming language. |
Jun 22, 2022 |
|
D |
57 |
General purpose, platform-dependent, high-performance library for D |
Feb 05, 2022 |
|
Rust |
2 |
A general purpose programming language |
Jul 01, 2022 |
|
Python |
3 |
A general purpose programming language |
Feb 03, 2020 |
|
Idris |
7 |
Experiments with dependent modal types |
Sep 13, 2019 |
|
TeX |
110 |
Staged compilation with dependent types |
Mar 07, 2023 |
|
TypeScript |
20 |
A general purpose quantum programming language. |
Dec 08, 2022 |
|
Rust |
21 |
🍖 ham, general purpose programming language |
Mar 24, 2023 |
|
TypeScript |
19 |
a general purpose visual programming language |
Mar 22, 2023 |
|
OCaml |
4 |
Luna is a general purpose language |
Jan 03, 2023 |
|
C |
2 |
🔥 General-purpose programming language compiler |
Dec 26, 2023 |
|
None |
8 |
Papers about general-purpose models, trying to cover topics about multimodal and large language models. |
Apr 16, 2023 |
|
Idris |
40 |
Accelerated machine learning with dependent types |
May 10, 2023 |
|
Haskell |
73 |
Tiny type-checker with dependent types |
Mar 16, 2023 |
|
C |
4 |
An open-source general-purpose programming language |
Aug 09, 2021 |
|
Python |
3 |
indent-based general-purpose tree-like language |
Jan 06, 2022 |
|
C++ |
11 |
General purpose, statically typed, functional programming language |
Jul 08, 2022 |
|
None |
2 |
A php-syntax-like general purpose language |
Jun 13, 2020 |
|
Rust |
200 |
Rust language general purpose elliptic curve cryptography. |
Aug 24, 2022 |
|
C++ |
2 |
A High-Level General Purpose Programming Language. |
Apr 07, 2023 |
|
TypeScript |
2 |
A friendly, stable general-purpose programming language |
Dec 03, 2023 |
|
JavaScript |
64 |
A minimal pure functional language based on self dependent types. |
Mar 24, 2023 |
|
R |
2 |
This is a general-purpose repository about amazon |
Jan 31, 2023 |
|
Coq |
3 |
messing around with "Certified Programming with Dependent Types" |
Mar 02, 2023 |
|
C# |
3 |
A library with commonly-used general-purpose types like helpers, utilities and extensions. |
Feb 11, 2022 |
|
C |
4 |
🎩 An interpreted general-purpose scripting language 🔨 |
Dec 21, 2021 |
|
C# |
4 |
Category based statically typed general purpose programming language. |
Mar 04, 2022 |
|
Python |
5 |
A general purpose programming language made by @SnmLogic. |
Jan 31, 2022 |
|
Rust |
7 |
General-purpose modern programming language built over Rust |
May 19, 2022 |
|
Java |
12 |
General-purpose Java-language library for keybase.io clients |
Feb 09, 2020 |
|
Python |
87 |
General-purpose Swich transformer based Japanese language model |
Mar 22, 2023 |
|
Makefile |
2 |
A Modern General-Purpose Programming Language for everyone. |
Apr 28, 2022 |
|
C++ |
2 |
Mango: Compiled, statically-typed general purpose programming language. |
May 05, 2022 |
|
F# |
29 |
A general purpose statically-typed concatenative programming language. |
Aug 11, 2022 |
|
None |
35 |
General purpose, language-agnostic Continuous Benchmarking (CB) framework |
Jul 17, 2022 |
|
C++ |
2 |
A general-purpose blazingly-fast compiled programming language |
Apr 28, 2023 |
|
Python |
7 |
Mel is a general purpose data markup language |
Apr 06, 2022 |
|
TypeScript |
12 |
A work-in-progress general purpose programming language. |
Mar 10, 2023 |
|
Java |
2 |
General-purpose Java-language library for keybase.io clients |
Feb 15, 2023 |
|
Rust |
2 |
A Blazingly Fast™ general-purpose programming language |
May 07, 2023 |
|
None |
2 |
General purpose, language-agnostic Continuous Benchmarking (CB) framework |
Apr 03, 2024 |
|
HTML |
6 |
Talk about the LENS programming language. |
May 12, 2021 |
|
C++ |
3 |
Berry is a verifiable, multi-paradigm programming language using dependent types. |
Feb 22, 2022 |