Delphi and Free Pascal bindings and classes for Microsoft's ChakraCore library
- chakracore
- microsoft
- javascript-engine
- delphi
Repository Index
47,133 repositories indexed
121–144 of 195 · Most stars
Fast, safe, complete libvips bindings for image processing in Java / JVM projects
- ffm
- image-processing
- java
- libvips
A library that simplifies error handling for Functional Programming in Java
- java
- functional-programming
- exception-handling
- error-handling
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
A Swift package for Raylib. Builds Raylib from source so no need to fiddle with libraries. Just add as a dependency in you game package and go!
- gamedev
- raylib
- raylib-swift
- swift
Complete SQLite API translation and simple wrapper for Delphi and FreePascal
Lowest barrier of entry to Image Processing, Computer Vision and Neural Networks on the JavaVM
- clojure
- computer-vision
- kotlin
- opencv
Simple I/O event notification library wirtten in Golang
- epoll
- go
- networking
- event
A parser/renderer for Aseprite animations in LÖVE. :peach:
- love2d
- love
- love2d-framework
- animation
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A light-weighted Promise library for Objective-C
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
Elixir phone number parser for numbers in international standard.
- phone
- countries
- international
- elixir
Quickjs FreePascal / Delphi Bindings
- quickjs
- fpc
- freepascal
- javascript
Rust like Option and Result types in Python
- option-type
- optional
- result-type
- result
CMake precompiled header support via custom PCH compiler extension
- cmake
- cmake-precompiled-headers
- clang
- gcc
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Recurrent Neural Network library for Ruby
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Build simplified C#, dotnet execute with custom entry point, another dotnet run without a project file
- csharp
- dotnet
- csharp-script
- dotnet-exec
Error/Warning reporting frontend for the PureScript compiler
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for TensorFlow. It aims to implement the complete Tensorflow API in Delphi which allows Pascal developers to develop, train and deploy Machine Learning models with the Pascal Delphi
- deep-learning
- delphi
- machine-learning
- pascal
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq