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 48 · Most stars
Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]
All about erlang programming language [powerd by community]
zerocode-tdd is a community-developed, free, open-source, outcome-driven automated testing framework for Data Pipelines, ETL, REST API, Kafka(Data Streams), Databases and Load scenarios. all defined in simple JSON or YAML — with zero coding.
- soap
- assertions
- java
- api
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
- csharp
- algebra
- integration
- latex
Tricks you wish the Coq manual told you [maintainer=@tchajed]
A Parsing Expression Grammar (PEG) module, using the D programming language.
Webpack loader for the Elm programming language.
Interactive console for Crystal programming language
- crystal
- repl
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Low-level JSON parsing and pretty-printing library for OCaml
- json
- ocaml
- yojson
- parser
The D Completion Daemon is an auto-complete program for the D programming language
- d
- autocomplete
- dlang
- code-completion
An OCaml lexer generator for Unicode
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
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