Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
Repository Index
47,133 repositories indexed
169–192 of 331 · Most stars
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
An esoteric programming language built to break LLMs and coding agents.
Boost.org interprocess module
A simple cross platform .NET API for Intel MKL
- mkl
- cross-platform
- matrix
- linear-algebra
FMOD Studio middleware integration and scripting API bindings for the Godot game engine.
- game-development
- game-engine-development
- game-audio
- dynamic-audio
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
🤘Utility library for functional JavaScript. With ❤️ to Ramda.
- ramda
- ramda-functions
- utils
- utilities
Abstract Syntax Tree for parsing schema.prisma files
Interfacing Qt/QML with OCaml. Formely known as lablqt
A realtime visual programming language for interactive media.
Common Lisp .Net Core Interop
- common-lisp
- dotnet-core
- dotnet
- dotnetcore
Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)
- common-lisp
- cffi
- gui
- iup
Tool for translation type comments to type annotations in Python
- annotations
- python-3-6
- source-to-source
- type-hints
A shading language that can be compiled into GLSL ES 3.0
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
This project is a Blazor Interop C# Generator, has a sample against the BabylonJS library.
- blazor-interop
- typescript-parser
- blazor-wasm
- babylonjs
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.
R package which integrating R and Julia
Elixir implementation of an interpreter for the Monkey programming language
- elixir
- monkey
- interpreter