|
|
JetBrains MPS |
6 |
IDE for IEC 61499 built on top of JetBrains MPS |
Aug 01, 2022 |
|
|
JetBrains MPS |
6 |
Using MILP to encode constraints of generated game levels. |
Jun 26, 2022 |
|
|
JetBrains MPS |
1357 |
JetBrains Meta programming System |
Oct 08, 2022 |
|
|
JetBrains MPS |
2 |
Tooling for accessing MPS models from command line without starting MPS instances. |
Dec 19, 2022 |
|
|
JetBrains MPS |
9 |
MPS plugin for generating textGen definitions derived from editor definitions, so that the text generated … |
Jan 12, 2023 |
|
|
JetBrains MPS |
115 |
Exact Inference Engine for Probabilistic Programs |
Mar 18, 2023 |
|
|
JetBrains MPS |
9 |
Oleg's gists |
Sep 30, 2022 |
|
|
JetBrains MPS |
25 |
Type checking and logical inference for JetBrains MPS |
Jun 22, 2022 |
|
|
JetBrains MPS |
67 |
The MPS extensions aim to ease language development within MPS. |
Jul 28, 2022 |
|
|
JetBrains MPS |
13 |
A Python Flexible Modeling Tool for Optimization Problems |
Oct 03, 2022 |
|
|
JetBrains MPS |
57 |
The modelix project develops a next generation language workbench that is native to the web … |
Sep 30, 2022 |
|
|
JetBrains MPS |
3 |
modelx model-api implementation that works against a MPS model without incremental change support. |
Jul 21, 2022 |
|
|
JetBrains MPS |
209 |
The mbeddr core. An extensible C |
Oct 15, 2022 |
|
|
JetBrains MPS |
16 |
FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and … |
Oct 09, 2022 |
|
|
JetBrains MPS |
4 |
Quality Assurance Tooling for Jetbrains' MPS |
Sep 13, 2022 |
|
|
JetBrains MPS |
36 |
Parallel Presolve for Integer and Linear Optimization |
Mar 13, 2023 |
|
|
JetBrains MPS |
6 |
A family of DSLs supporting model-driven system documentation. |
Apr 03, 2023 |
|
|
JetBrains MPS |
6 |
Provide easy-to-use CESMIX-aligned case studies. Integrate the latest developments of the Julia atomistic ecosystem and … |
Mar 06, 2023 |
|
|
JetBrains MPS |
2 |
Python implementation of mgpipe |
May 11, 2023 |
|
|
JetBrains MPS |
5 |
"Alexandrov geometry: foundations" by S. Alexander, V. Kapovitch, and A. Petrunin |
Mar 09, 2023 |
|
|
JetBrains MPS |
29 |
MoWare 2019.X - mrs branch |
Apr 05, 2023 |
|
|
JetBrains MPS |
7 |
Modellalapú szoftverfejlesztés tárgy - GitHub repository |
Apr 25, 2023 |
|
|
JetBrains MPS |
21 |
Adding declarative, reactive and incremental rules to MPS |
Mar 01, 2023 |
|
|
JetBrains MPS |
39 |
Open Source Parts of IETS3 |
Jan 05, 2023 |
|
|
JetBrains MPS |
2 |
A Maple package for Kronecker coefficients |
May 18, 2023 |
|
|
JetBrains MPS |
4 |
MPL "Fast" compiler |
Mar 29, 2023 |
|
|
JetBrains MPS |
2 |
MPL Standard Library |
Jan 29, 2023 |
|
|
JetBrains MPS |
2 |
JetBrains MPS Contribution modules |
Oct 07, 2023 |
|
|
JetBrains MPS |
3 |
None |
Mar 10, 2024 |
|
|
Lua |
3 |
Script d'impôts opti 0.00ms. |
Apr 09, 2022 |
|
|
Lua |
5 |
Admin menu RUI V2 opti 0.04ms. |
Apr 12, 2022 |
|
|
Lua |
2 |
Offre d'emploi RUI V2 opti 0.00ms. |
Dec 28, 2022 |
|
|
C |
3 |
AVR NFC bootloader for MFRC522, based on optiboot (not "opti" anymore :D) |
Jan 18, 2020 |
|
|
MATLAB |
2 |
This repository procides Matlab codes in model calibration with Deribit Inverse BTC opti |
May 12, 2023 |
|
|
TypeScript |
2 |
Toolbox |
Feb 05, 2024 |
|
|
CSS |
2 |
Toolbox |
May 24, 2024 |
|
|
C |
6 |
:toolbox: metadata processor (.NET nanoFramework toolbox) |
Jul 13, 2022 |
|
|
None |
3 |
Installs JetBrains Toolbox https://www.jetbrains.com/toolbox/app/ |
Nov 12, 2022 |
|
|
CoffeeScript |
3 |
Atom toolbox package. `apm install ws-toolbox` |
Sep 28, 2018 |
|
|
Python |
4 |
Opti-WebP bulk resizes, compresses and converts non WebP images to an optimized WebP final version |
May 19, 2023 |
|
|
None |
5 |
This toolbox |
Dec 04, 2021 |
|
|
None |
6 |
This toolbox |
Jan 01, 2022 |
|
|
Groovy |
8 |
Cytomine toolbox |
Jan 30, 2020 |
|
|
C |
12 |
toolbox hwfly |
May 25, 2022 |
|
|
HTML |
893 |
Phodal's Toolbox |
Aug 05, 2022 |
|
|
Python |
8 |
Tamr Toolbox |
Mar 29, 2023 |
|
|
Go |
2 |
Ethereum toolbox |
Sep 02, 2021 |
|
|
Shell |
18 |
CMSIS-Toolbox |
Apr 12, 2023 |
|
|
Python |
2 |
Statgis Toolbox |
Jul 10, 2022 |
|
|
Shell |
2 |
ephemeral toolbox |
Jun 02, 2022 |