Bringing the wonders of Elm to the iOS platform
- elm
- ios
- gsoc-2017
Repository Index
58,136 visible repositories in the index
73–96 of 111 · Most stars
A programming language for generating code for multiple platforms
Cross-platform event loop library of asynchronous objects
Git super project for PySide
- python
- qt
- pyside
- qtforpython
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Static & dynamic D bindings to SDL and the SDL_* libraries, compatible with BetterC, @nogc, and nothrow. (Mirror)
- dlang
- bindbc
- sdl-mixer
- sdl-image
Use any web browser as GUI, with V in the backend and modern web technologies in the frontend.
- browser
- javascript
- webui
- vwebui
GLFW C++ Wrapper - thin, modern, C++17, header-only GLFW wrapper
- glfw
- cpp
- cpp17
- wrapper
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
- uno
- uno-platform
- webassembly
- wasm
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
Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.
- kotlin
- graphql
- client
- code-generation
V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.
- v
- webview
- gtk
- webkit
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
A setf like macro for functional programming
Messaging system for communication between classes / layers in delphi
- delphi
- firemonkey
- vcl
- fmx
BEAM friendly spinlocks for Elixir/Erlang
- concurrency
- concurrent-data-structure
- parallel-programming
A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS
- libsass
- dotnet
- dotnet-standard
- scss
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action