A python wrapper for libmagic
Repository Index
71,372 visible repositories in the index
217–240 of 920 · Most stars
.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#
Highly-available Distributed Fault-tolerant Runtime
- fault-tolerance
- rust
- rust-language
- supervision
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
Postmodern immutable and persistent data structures for C++ — value semantics at scale
- immutable
- data-structures
- modern-cpp
- cpp14
python parser for human readable dates
- hacktoberfest
The missing Java distribution of native C++ libraries
- javacpp-presets
- java
- android
- native-libraries
❄️ Elsa is a minimal runtime for JavaScript and TypeScript written in Go
- elsa
- javascript
- typescript
- runtime
Functional extensions for C#
- csharp
- entity
- functional-programming
- maybe-monad
Parser Building Toolkit for JavaScript
- javascript
- typescript
- parser-library
- parsing
Io programming language. Inspired by Self, Smalltalk and LISP.
Rust for native business logic, Flutter for flexible and beautiful GUI
Easily run code asynchronously
- php
- performance
- async
- await
WebAssembly Virtual Machine
Set of preconfigured snippets for different languages.
- snippets
- friendly-snippets
- languages
- programming-languages
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
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction
A C++ library of Concurrent Data Structures
- lock-free
- containers
- hazard-pointer
- rcu
Go bindings to systemd socket activation, journal, D-Bus, and unit files
- go
- systemd
- journald
- machined
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+.
JSONata query and transformation language - http://jsonata.org
Python with braces. Because python is awesome, but whitespace is awful.
- python
- whitespace
- braces
- indentation
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
- jit-compiler
- compiler
- interpreter
- intermediate-representation