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–23 of 23 · Most stars
Easy to use F#-like ~discriminated~ unions for C# with exhaustive compile time matching
- discriminated-unions
- c-sharp
- f-sharp
- dotnetcore
Embedded Scripting Language Designed for C++
- c-plus-plus
- embedded-scripting-language
- cpp
- language
Golang bindings of Sciter: the Embeddable HTML/CSS/script engine for modern UI development
- gui
- sciter
- tiscript
- htmlayout
libsodium compiled to Webassembly and pure JavaScript, with convenient wrappers.
- libsodium
- javascript
- cryptography
- crypto
wepoll: fast epoll for windows 🎭
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
C# discriminated union source generator
- csharp
- discriminated-unions
- dotnet
- functional-programming
The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.
- qbit
- java
- microservice
- websocket-support
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
Safe and easy to use crypto for iOS and macOS
- cryptography
- swift
- libsodium
aiomisc - miscellaneous utils for asyncio
- asyncio
- miscellaneous
- server-client
- service
Universal cheminformatics toolkit, utilities and database search tools
- indigo
- bingo
- cheminformatics
- chemistry
Event loop friendly C++ actor micro-framework, supervisable
- cpp17
- actor-framework
- actor
- boost
An Elixir library for parsing and extracting data from HTML and XML with CSS or XPath selectors.
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
MojiScript is an async-first, opinionated, and functional library
The single instruction language - Flip a bit, then Jump
- esoteric-programming-language
- programming-language
- oisc
- esolang
A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.
- go
- async
- hacktoberfest
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
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Port of Sciter headers for the D language
- sciter
- tiscript
- htmlayout
- gui
The GMap iteration macro, plus a few other useful macros.