Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.
- cli
- ffi
- rust
- serde
Repository Index
87,075 visible repositories in the index
241–264 of 1,034 · Most stars
The Jakt Programming Language
- programming-language
- jakt
- serenityos
Intel® Implicit SPMD Program Compiler
- ispc
- programming-language
- compiler
- intel
Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
.NET for iOS, Mac Catalyst, macOS, and tvOS provide open-source bindings of the Apple SDKs for use with .NET managed languages such as C#
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and software engineering.
- proof-assistant
- lean4
- ai-agents
- ai-for-math
Converts a string to a slug. Includes integrations for Symfony, Silex, Laravel, Zend Framework 2, Twig, Nette and Latte.
- php
- twig
- slugify
- symfony
Postmodern immutable and persistent data structures for C++ — value semantics at scale
- immutable
- data-structures
- modern-cpp
- cpp14
Beef Programming Language
- programming-language
- compiler
- ide
- beef-language
A statically typed language compatible with Python
- compiler
- programming-language
- python
- rust
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
The Lobster Programming Language
Functional extensions for C#
- csharp
- entity
- functional-programming
- maybe-monad
:boom::computer::boom: A data-parallel functional programming language
Parser Building Toolkit for JavaScript
- javascript
- typescript
- parser-library
- parsing
Io programming language. Inspired by Self, Smalltalk and LISP.
Set of preconfigured snippets for different languages.
- snippets
- friendly-snippets
- languages
- programming-languages
Modern concurrency for C++. Tasks, executors, timers and C++20 coroutines to rule them all
- cpp
- await
- async-await
- executor-service
The Flix Programming Language
- flix
- language
- hacktoberfest
- functional
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.
- ironpython
- dlr
- c-sharp
- python
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.