An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Community: https://discord.gg/HxvBtukrg2
Repository Index
47,133 repositories indexed
1–24 of 47 · Most stars
Provides an efficient allocation free async/await integration for Unity.
- csharp
- unity
- coroutine
- task
xLua is a lua programming solution for C# ( Unity, .Net, Mono) , it supports android, ios, windows, linux, osx, etc.
Cross-platform .NET/Mono bindings for LibVLC
- dotnet
- vlc
- multimedia
- xamarin
An interpreter for the Lua language, written entirely in C# for the .NET, Mono, Xamarin and Unity3D platforms, including handy remote debugger facilities.
- moonsharp
- mono
- debugger
- interpreter
A pure c# implementation of Lua 5.2 focus on compatibility with Unity
Universal toplevel for OCaml
High performance Lua interpreter implemented in C# for .NET and Unity
A Parsing Expression Grammar (PEG) module, using the D programming language.
Interactive console for Crystal programming language
- crystal
- repl
An OCaml lexer generator for Unicode
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Useful cmake macros that help with: compiler/linker flags, collecting sources, PCHs, Unity builds and other stuff.
- linker-flags
- cmake
- compiler-flags
- unity-build
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
Library for lexing and parsing D source code
YAML parser and emitter for the D programming language
- yaml
- parser
- emitter
- dlang
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
- community-driven
- manifesto
- coq