|
UrWeb |
4 |
None |
Aug 22, 2018 |
|
UrWeb |
5 |
Ur/web chatroom |
Mar 22, 2022 |
|
UrWeb |
12 |
WIP: Presentation turned blog series: Building the simplest possible thing over and over again. |
Nov 16, 2020 |
|
UrWeb |
3 |
Secret Hitler implemented with Ur/Web |
Sep 16, 2018 |
|
UrWeb |
3 |
None |
Nov 02, 2020 |
|
UrWeb |
3 |
Collection of basic combinators for Ur/Web, inspired by Haskell's Prelude library |
Nov 02, 2020 |
|
UrWeb |
138 |
Beautiful, interactive visualizations of logical inference |
May 30, 2022 |
|
UrWeb |
15 |
Web application for course on Formal Reasoning About Programs |
Feb 20, 2023 |
|
UrWeb |
3 |
UPO extensions for MIT |
Dec 16, 2021 |
|
UrWeb |
3 |
Upload files in Ur/Web without forcing page reloads |
May 21, 2023 |
|
UrWeb |
4 |
Interface to Twitter Bootstrap CSS library |
Nov 03, 2022 |
|
UrWeb |
28 |
The Ur/Web People Organizer |
Apr 14, 2023 |
|
Rust |
2 |
Generic interfaces for Espresso web APIs |
Feb 25, 2023 |
|
Go |
2 |
Go powered compossible Web APIs over multiple interfaces |
Feb 25, 2024 |
|
C |
6 |
Common webpa APIs |
Sep 17, 2020 |
|
TypeScript |
7 |
Common types, interfaces and abstracts |
Apr 11, 2022 |
|
C++ |
8 |
Common interfaces for neuronal simulators |
Nov 18, 2022 |
|
PHP |
88 |
Common interfaces for the translation |
Jan 13, 2023 |
|
Go |
6 |
Common interfaces for Go code checkers |
Dec 02, 2020 |
|
PHP |
13 |
Library of interfaces and common implementations |
Jun 02, 2016 |
|
Nim |
32 |
Abstractions for common operating system interfaces |
Jun 23, 2022 |
|
TypeScript |
561 |
A set of common utils for consuming Web APIs with Angular |
Apr 16, 2023 |
|
PHP |
12 |
Common interfaces for Amp based SQL drivers. |
Mar 04, 2022 |
|
Julia |
25 |
Common types and interfaces for probabilistic programming |
Mar 10, 2023 |
|
PowerShell |
3 |
Common interfaces for use within Phobos applications |
Apr 12, 2021 |
|
None |
32 |
Common SQL interfaces for Vert.x SQL services |
Aug 20, 2021 |
|
Bluespec |
92 |
A collection of common Bluespec interfaces/modules. |
Jul 27, 2022 |
|
TypeScript |
3 |
Unified interfaces for common platform-specific services |
Jun 21, 2023 |
|
Dart |
82 |
High-level interfaces to Google Cloud Platform APIs |
Jul 14, 2022 |
|
Common Lisp |
55 |
Serve REST APIs from Common Lisp |
Aug 26, 2022 |
|
Makefile |
2 |
Protobuf definition on DEEP common apis. |
Jun 14, 2023 |
|
C++ |
3 |
Common API and interfaces of the myorobotics project. |
May 16, 2018 |
|
PHP |
2 |
🔧 Common classes and interfaces for Laravel projects. |
Jan 18, 2023 |
|
Rust |
311 |
Easy declarative web interfaces. |
Apr 24, 2023 |
|
Rust |
4 |
High level bindings to various Linux APIs and interfaces |
Apr 11, 2022 |
|
Go |
2 |
Tests against the publicly available interfaces (APIs, code, CLIs) |
Aug 17, 2022 |
|
C# |
40 |
Managed definitions for COM interfaces exposed by DiaSymReader APIs |
May 21, 2022 |
|
Python |
5 |
Exposes a common API in Python for the Macrobobond Web and Client data APIs |
May 22, 2023 |
|
R |
3 |
Build R APIs off web APIs |
Jan 13, 2016 |
|
Java |
6 |
CZERTAINLY - interfaces definitions and common objects for the platform |
Nov 29, 2022 |
|
Java |
2 |
Android library with common classes and interfaces for UI |
Sep 02, 2020 |
|
Go |
3 |
Interfaces and implementations for common crypto operations in Go |
Apr 29, 2022 |
|
C# |
5 |
.NET Standard Library providing delegated implementations of common interfaces |
Jun 15, 2020 |
|
JavaScript |
17761 |
A collection of common interactive command line user interfaces. |
Apr 26, 2023 |
|
Java |
2 |
Common data model, XML parsers/writers and other interfaces |
Dec 14, 2012 |
|
PHP |
125 |
[READ ONLY] Common classes and interfaces for PHP-Geocoder |
Apr 18, 2023 |
|
JavaScript |
2 |
A collection of common interactive command line user interfaces. |
Oct 03, 2022 |
|
C++ |
6 |
Interfaces to common radio backends found in IVI systems |
Jan 28, 2023 |
|
Go |
9 |
various utilities to simplify common gRPC APIs |
Jul 31, 2022 |
|
None |
2 |
Wordlist with common patterns APIs from Brazil |
Mar 10, 2022 |