Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more โ
Top 18 C# programming-language Projects
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
Juka
๐ฅฃ Juka Programming Language - Fast Portable Programming Language. Run code anywhere without complicated installations and admin rights. Simple, yet powerful new programming language [Easy to code and run on any system] IOT devices supported!
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
vein
๐ฎโก๏ธVein is an open source high-level strictly-typed programming language with a standalone OS, arm and quantum computing support.
-
MCCompiled
A production-ready feature-rich programming language which compiles to Minecraft Bedrock Edition commands.
-
bna-language
A simple "assembly-like" programming language designed for teaching students new to computer science.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: Dafny is a verification-aware programming language | news.ycombinator.com | 2024-04-23
The compiler is located here, documentation will soon be found here. For now, the second repo only contains some code examples.
Check it out: https://github.com/ricardoboss/STEP
C# programming-language related posts
- Property-based testing in practice [pdf]
- Candy โ a minimalistic functional programming language
- Dafny โ a verification-aware programming language
- Did Reddit just denylist all IPs?
- Lean4 helped Terence Tao discover a small bug in his recent paper
- The Deep Link Equating Math Proofs and Computer Programs
- Dafny
-
A note from our sponsor - InfluxDB
www.influxdata.com | 23 Apr 2024
Index
What are some of the best open-source programming-language projects in C#? This list will help you:
Project | Stars | |
---|---|---|
1 | P | 2,911 |
2 | dafny | 2,665 |
3 | Folders | 374 |
4 | Mond | 344 |
5 | retina | 230 |
6 | Ncodi | 115 |
7 | Juka | 70 |
8 | Bite-Programming-Language | 44 |
9 | vein | 34 |
10 | RainLisp | 29 |
11 | MCCompiled | 22 |
12 | LSharp | 17 |
13 | dc | 8 |
14 | STEP | 5 |
15 | Melon-Language | 5 |
16 | Druid-Language | 4 |
17 | Underlang | 4 |
18 | bna-language | 2 |
Sponsored