|
Ada |
174 |
Server implementing the Microsoft Language Protocol for Ada and SPARK |
Nov 29, 2022 |
|
JavaScript |
2 |
An prototype interactive visualization for exploring flow timeseries data. Try it --> |
Aug 22, 2017 |
|
Ada |
2 |
🚗 ADA Spark Car' Assistant Prototype for Formal Approches to software Engineer at Napier University |
Jun 09, 2022 |
|
Ada |
3 |
An embedded Ada/SPARK demo |
Oct 03, 2020 |
|
None |
2 |
Interactive webpages - Responsive - Cool |
Jun 12, 2023 |
|
Objective-J |
6 |
Wysiwyg editor for creating webpages. |
Feb 08, 2014 |
|
Ada |
12 |
Unbound data structures in Ada-Spark. |
Nov 09, 2022 |
|
Ada |
2 |
AoC 2022 solutions in Ada/Spark |
Jan 31, 2023 |
|
Ada |
6 |
FLAC audio encoder/decoder in SPARK/Ada |
Jul 28, 2022 |
|
Java |
18 |
Support for Ada and SPARK languages in IntelliJ IDEA |
Oct 17, 2022 |
|
None |
55 |
Platform to submit RFCs for the Ada & SPARK languages |
Oct 18, 2022 |
|
HTML |
216 |
Create interactive webpages from Jupyter Notebooks |
Jul 10, 2022 |
|
Ada |
8 |
An Ada library for creating IRC bots |
Nov 29, 2021 |
|
Ada |
11 |
Language Server Protocol for Ada |
Apr 01, 2022 |
|
Frege |
5 |
Try Apache Spark with Frege |
Mar 22, 2021 |
|
Ada |
2 |
Repo for Ada/Spark projects on the Raspberry Pi Pico |
Mar 23, 2023 |
|
JavaScript |
2 |
Prototype app for Hackasaurus that makes it easy to create webpages. |
Dec 19, 2013 |
|
Ada |
10 |
A demo of best practices for open-source Ada/SPARK development |
Aug 07, 2022 |
|
Ada |
6 |
Sample application for MLH Localhost: Bug-free programming with SPARK Ada |
Jan 28, 2023 |
|
Rich Text Format |
23 |
Ada User Community Input Working Group - Github Mirror Prototype |
Jan 14, 2024 |
|
JavaScript |
2 |
Help in creating static webpages without javascript |
Jun 10, 2021 |
|
JavaScript |
56 |
Prototype for blogpost about creating observables |
Jan 25, 2023 |
|
C# |
2 |
Blazor C# Interactive (Try .NET) |
Mar 23, 2024 |
|
JavaScript |
3 |
GitHub action to setup Alire (the Ada/SPARK package manager) |
Oct 27, 2021 |
|
CoffeeScript |
4 |
Prototype GUI for interactive SVG Tiler drawing |
Aug 02, 2022 |
|
Ada |
290 |
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK. |
Dec 02, 2022 |
|
Python |
3 |
try to analyzing weibo data with Spark |
Sep 18, 2019 |
|
TypeScript |
30 |
A customisable NodeJS server for creating and hosting highly interactive online courses. |
Apr 21, 2023 |
|
Shell |
4 |
standalone spark cluster with Hadoop HDFS storage and Livy Server for interactive analysis in Jupyter |
May 20, 2022 |
|
None |
2 |
For my first try creating a repo .... |
Dec 22, 2023 |
|
TypeScript |
16 |
Prototype chrome addon that exposes the micro:bit's serial output to webpages. |
Apr 20, 2021 |
|
JavaScript |
7 |
Prototype for creating browserified bundles on demand. |
Jun 14, 2021 |
|
Ada |
2 |
A gemini server written in ada |
Feb 24, 2022 |
|
Ada |
3 |
Examples of common software engineering constructs written in Ada and SPARK |
Apr 04, 2022 |
|
Go |
5 |
Prototype for an NTP server |
Aug 17, 2022 |
|
CSS |
7 |
This is the start of a template for creating class webpages |
Jan 05, 2022 |
|
CSS |
3 |
A modular visual interactive keyboard for webpages, including HTML, CSS and JavaScript. |
Sep 10, 2020 |
|
Go |
1328 |
Library for creating interactive cli applications. |
Jul 27, 2022 |
|
Python |
6 |
Interactive exam creating tool for teachers. |
Apr 06, 2023 |
|
TypeScript |
2 |
Web app for creating interactive stories. |
Mar 18, 2023 |
|
JavaScript |
144 |
a tool for creating interactive fiction |
Apr 21, 2023 |
|
JavaScript |
5 |
Library for creating interactive configurable graphs |
Sep 28, 2021 |
|
Go |
2 |
Library for creating interactive cli applications. |
Jun 02, 2023 |
|
JavaScript |
2 |
Interactive tool for creating directed graphs |
Mar 23, 2024 |
|
Swift |
7 |
Build server side rendered webpages in SwiftUI |
Apr 25, 2023 |
|
Ada |
6 |
Ada/SPARK port of the xoshiro128++ and xoshiro256++ pseudo-random number generators |
Jan 31, 2022 |
|
JavaScript |
21 |
REST job server for Apache Spark |
Apr 12, 2023 |
|
Scala |
22 |
REST job server for Apache Spark |
Oct 08, 2021 |
|
ShaderLab |
3 |
Interactive story game prototype made with Unity :) |
Sep 18, 2022 |
|
JavaScript |
73 |
Interactive hoverboard prototype using JavaScript and WebSockets |
May 05, 2023 |