farost
Follow
-
typedb Public
Forked from typedb/typedbTypeDB: the polymorphic database powered by types
Java GNU Affero General Public License v3.0 UpdatedMar 5, 2025 -
typedb-driver Public
Forked from typedb/typedb-driverTypeDB Drivers for Rust, Python, Java, Node.js and C
Rust Apache License 2.0 UpdatedMar 5, 2025 -
typeql Public
Forked from typedb/typeqlTypeQL: the polymorphic query language of TypeDB
Java Mozilla Public License 2.0 UpdatedMar 5, 2025 -
dependencies Public
Forked from typedb/typedb-dependenciesBazel dependency declarations for build tools reused across @vaticle repositories (only for @vaticle)
Starlark Mozilla Public License 2.0 UpdatedMar 5, 2025 -
typedb-behaviour Public
Forked from typedb/typedb-behaviourTypeDB Behaviour Test Specification
Gherkin GNU Affero General Public License v3.0 UpdatedMar 3, 2025 -
typedb-studio Public
Forked from typedb/typedb-studioTypeDB Studio (IDE)
Kotlin GNU Affero General Public License v3.0 UpdatedFeb 26, 2025 -
typedb-console Public
Forked from typedb/typedb-consoleTypeDB Console: CLI for TypeDB and TypeDB Cluster
Java Mozilla Public License 2.0 UpdatedFeb 25, 2025 -
-
typedb-protocol Public
Forked from typedb/typedb-protocolTypeDB (Core and Cluster) RPC Communication Protocol
Starlark Mozilla Public License 2.0 UpdatedOct 21, 2024 -
bazel-distribution Public
Forked from typedb/bazel-distributionBazel rules for assembling and deploying software distributions (see @vaticle for usage example)
Starlark Apache License 2.0 UpdatedOct 4, 2024 -
Xunit.Gherkin.Quick Public
Forked from ttutisani/Xunit.Gherkin.QuickBDD in .NET Core - using Xunit and Gherkin (compatible with both .NET Core and .NET)
C# MIT License UpdatedMar 14, 2024 -
typeql-plugin-jetbrains Public
Forked from typedb-osi/typeql-plugin-jetbrainsTypeQL plugin for JetBrains
Kotlin MIT License UpdatedFeb 27, 2024 -
TokenCalculator Public
A calculator based on floating point numbers arithmetics and two stacks for numbers and operators. Also includes input format's control.
C++ UpdatedDec 1, 2020 -
SortingAlgorithmsForPractice Public
C++ Implementations of Insertion, Bubble, Selection, Quick, Countingand Merge sorts
C++ UpdatedOct 30, 2020 -
A simple text compression program based on the Huffman's algorithm written on Pascal.
-
-
NFAtoDFA Public
A program that builds DFA FSM based on NFA FSM which generates from a given string like Z=1++1*01(11+01)+.
-
Hooke-Jeeves, Gradient, Gauss-Seidel, Newton and Fibonacci optimization methods for a given electrical circuit.
-
A program that builds left and right regular grammars and FSMs for several specific languages and chains.
C++ UpdatedOct 29, 2020