-
smt-z3-vscode Public
VSCode extension for SMT2 language with Z3 solver
-
alloy-langium Public
A language server for the Alloy specification language, providing features like syntax highlighting, autocompletion, and error checking for Alloy files in various editors. It is based on Langium wo…
TypeScript UpdatedAug 6, 2026 -
cvc5-vscode Public
A Visual Studio Code extension for editing and executing SMT-LIB 2 (.smt2) scripts using the cvc5 and WebAssembly (WASM) build.
-
jatiyo-keylayout Public
Jatiyo (জাতীয়) Keyboard Layout for Bengali
-
-
-
-
limboole-vscode Public
Visual Studio Code extension for Limboole
TypeScript MIT License UpdatedNov 20, 2024 -
-
gendev.bot Public
Forked from jringert/gendev.botmaterials for small rover robot used in Generative Development module
C++ UpdatedAug 31, 2024 -
-
-
-
-
CAN-Networks Public
The goal is to control a virtual dashboard with a set of ECUs. Therefore it is necessary that the ECUs exchange information over the CAN bus. Each board realizes sensor functionality and additional…
-
seq2seq-e2b Public
An attention-based English to Bangla machine translation model using sequence to sequence learning with neural networks
-
-
TUC-Share-Python Public
Content sharing application with distributed block list services using FAST API (Python) and React.js.
JavaScript UpdatedJul 1, 2022 -
-
ScaledYOLOv4 Public
Forked from WongKinYiu/ScaledYOLOv4Scaled-YOLOv4: Scaling Cross Stage Partial Network
UpdatedMay 29, 2021 -
PizzaPeddler Public
A Pizza management system using PL/pgSQL and Node.
-
-
Competitive-programming Public
🔥 Progress on the problem-solving.
-
kindle-my-clippings-parser Public
Parser for Kindle highlighted text accorting to reading date and book name both into Test and JSON format.
-
-
{{ message }}