|
NewLisp |
4 |
A dialect-aware s-expression indenter written in Python and newLISP |
Sep 27, 2021 |
|
NewLisp |
5 |
Multilingual TOP dataset for semantic parsing in English, Italian and Japanese |
Jul 15, 2022 |
|
NewLisp |
2 |
repo full of puzzles and code ideas and tests |
May 21, 2022 |
|
NewLisp |
60 |
Language server based on ghdl |
Nov 17, 2022 |
|
NewLisp |
3 |
Repository for the analysis of idiom processing in MarianMT Transformer, for models translating English into … |
Jul 22, 2022 |
|
NewLisp |
16 |
RuDaS: Synthetic Datasets for Rule Learning |
May 02, 2022 |
|
NewLisp |
24 |
various bits of code in newLISP |
Aug 26, 2022 |
|
NewLisp |
378 |
Generating bash command from natural language https://arxiv.org/abs/1802.08979 |
Oct 05, 2022 |
|
NewLisp |
2 |
KI 2ejaars project voor leestmeer |
Jun 16, 2015 |
|
NewLisp |
4 |
Create queue items for ftp-grab. |
Jul 08, 2020 |
|
NewLisp |
6 |
Open source bilingual Catalan corpus used to train machine learning systems |
Mar 28, 2023 |
|
NewLisp |
6 |
Appunti sul linguaggio newLISP |
May 05, 2023 |
|
NewLisp |
4 |
The manifest definitions for Qi, a Common Lisp package manager |
Aug 12, 2018 |
|
NewLisp |
6 |
An attempt to replicate Undertale with Pygame. |
Nov 03, 2022 |
|
NewLisp |
4 |
Generic database access interface for Dragonfly using Objective newLISP |
Aug 10, 2018 |
|
NewLisp |
2 |
Shuffle on a name list. |
May 18, 2019 |
|
NewLisp |
12 |
None |
May 29, 2022 |
|
NewLisp |
17 |
None |
May 27, 2023 |
|
NewLisp |
4 |
study |
Sep 13, 2019 |
|
Python |
3 |
Pygments lexers for Maude, both batch and interactive. |
Feb 07, 2023 |
|
VimL |
2 |
Syntax file for the Maude language |
Jun 13, 2014 |
|
VimL |
6 |
Syntax file for the Maude language |
Nov 17, 2021 |
|
Python |
3 |
Place to share snapshots of maude models |
Jan 24, 2023 |
|
None |
2 |
Semantics specification of programming languages in Maude |
Mar 12, 2021 |
|
Haskell |
4 |
A Haskell interface to the Maude rewriting system |
Sep 19, 2020 |
|
None |
23 |
An algebra for Matrix Expressions written in Maude |
Jul 21, 2022 |
|
None |
5 |
Executable Specification of Pi-Calculus with Reduction Semantics in Maude. |
Jul 08, 2022 |
|
Python |
4 |
Weakly supervised classification of adverse event reports from the FDA's MAUDE database. |
Jun 05, 2020 |
|
None |
2 |
Maude MSOS Tool (MMT) is an execution environment for Modular Structural Operational Semantics (MSOS) specifications … |
Jul 27, 2019 |
|
Ruby |
2 |
Interactive / Non-Interactive program |
Dec 04, 2022 |
|
Python |
2 |
Interactive fiction + interactive narrating. |
Aug 13, 2020 |
|
Ruby |
23 |
Interactive Fiction for Interactive Ruby |
Jun 30, 2017 |
|
Jupyter Notebook |
149 |
IPython widgets, interactive plots, interactive machine learning |
Jul 28, 2022 |
|
Shell |
2 |
BMaude is a verification tool for B specifications written in the Abstract Machine Notation. The … |
Jan 16, 2022 |
|
JavaScript |
4 |
Git Interactive |
Mar 31, 2020 |
|
TypeScript |
4 |
Interactive Tornado |
Aug 03, 2022 |
|
JavaScript |
5 |
interactive-maps |
Feb 05, 2018 |
|
JavaScript |
5 |
Interactive Resume |
Feb 22, 2022 |
|
C++ |
11 |
Interactive Geometry |
Jun 13, 2022 |
|
Python |
3185 |
Interactive Tutorials |
Apr 25, 2023 |
|
JavaScript |
2 |
Interactive blog |
Apr 07, 2023 |
|
Arduino |
6 |
Interactive Arduino |
Feb 13, 2017 |
|
None |
4 |
Interactive Tutorials |
Dec 27, 2022 |
|
Rust |
2 |
Interactive WebAssembly |
Jul 14, 2022 |
|
JavaScript |
2 |
interactive fiction |
Jul 29, 2022 |
|
JavaScript |
3 |
Interactive YQL |
Dec 29, 2015 |
|
PHP |
131 |
Interactive shell |
Jun 16, 2022 |
|
Go |
2 |
Interactive cURL |
Apr 16, 2021 |
|
Ruby |
211 |
interactive Ruby |
Aug 06, 2022 |
|
JavaScript |
3 |
Interactive Geocoding |
Feb 04, 2021 |