|
Coq |
16 |
A formalization of finite, constructive log analysis using linear temporal logic |
Jul 23, 2022 |
|
Java |
153 |
Java implementation of BSP based CSG (Constructive Solid Geometry) |
Sep 07, 2022 |
|
TeX |
2 |
Constructive topology |
Nov 09, 2018 |
|
TypeScript |
6 |
Constructive Solid Geometry |
Oct 16, 2022 |
|
Go |
2 |
Constructive Glossary Builder |
Jan 02, 2022 |
|
Haskell |
95 |
constructive abstract algebra |
Jun 02, 2022 |
|
Python |
3 |
Constructive Cost Model |
Dec 21, 2022 |
|
C++ |
2 |
logic synthesis/verification framework |
Apr 25, 2023 |
|
Coq |
2 |
Coq development accompanying the LFCS'22 paper "Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic" |
Apr 28, 2023 |
|
Java |
17 |
Fuzzy logic library for Java |
Jul 16, 2022 |
|
C++ |
2 |
Logic synthesis and verification framework |
Jan 03, 2023 |
|
Rust |
25 |
Rust Constructive Solid Geometry |
Apr 27, 2023 |
|
TeX |
34 |
Constructive Interpretations of HoTT |
Jan 20, 2023 |
|
C++ |
9 |
Constructive Solid Geometry Editor |
Oct 21, 2021 |
|
Java |
5 |
nebular pure Java fuzzy logic API |
May 30, 2022 |
|
Coq |
2 |
Constructive Theory of Regular Languages |
Dec 14, 2013 |
|
JavaScript |
13 |
Browser side Constructive Solid Geometry. |
Mar 23, 2019 |
|
C |
57 |
Mascot Constructive Pilot for X |
Mar 07, 2023 |
|
Scala |
10 |
Constructive Solid Geometry in Scala |
Dec 03, 2022 |
|
Java |
12 |
Java client for the Sumo Logic API. |
Jul 09, 2022 |
|
Java |
2 |
Star Pattern - 4 Program (Logic) in Java |
Jan 14, 2023 |
|
Ruby |
3244 |
The advanced business logic framework for Ruby. |
Aug 05, 2022 |
|
JavaScript |
135 |
A business logic micro-framework for javascript |
Apr 30, 2023 |
|
Jupyter Notebook |
5 |
python wrapper to sparqlprog logic programming framework |
Jan 19, 2023 |
|
JavaScript |
2 |
Spectre.js - JavaScript components logic for Spectre.css framework |
Jan 27, 2023 |
|
JavaScript |
4 |
Galaxy tools for Constructive Solid Geometry |
Jun 01, 2016 |
|
TypeScript |
41 |
🚧 Constructive solid geometry for React |
Aug 09, 2022 |
|
JavaScript |
2 |
Constructive Solid Geometry example in WebGL |
Aug 02, 2022 |
|
Java |
3 |
MLJCR - Mark Logic Java Content Repository (JSR-170) |
Aug 26, 2020 |
|
Java |
41 |
jfuzzylite: a fuzzy logic control library in Java |
Dec 16, 2022 |
|
Java |
2 |
Logic-less and semantic Mustache templates with Java |
Jan 04, 2024 |
|
Lua |
2 |
Push framework for logic control based on cqueues |
Feb 28, 2020 |
|
C# |
6 |
Unit testing framework for Azure Logic Apps (Standard) |
May 02, 2023 |
|
C |
7 |
a framework for studying logic model checking algorithms |
Sep 03, 2021 |
|
Java |
11 |
All code snippets in Java Course - Logic First Tamil |
Jul 12, 2022 |
|
Java |
10 |
Java SPI framework |
May 11, 2022 |
|
Java |
9 |
Java NIO framework |
Jan 28, 2023 |
|
Java |
2 |
java web framework |
Sep 28, 2018 |
|
Java |
44 |
java crawler framework |
Jul 26, 2022 |
|
Java |
2 |
Liquid, Java Framework |
Feb 18, 2023 |
|
Java |
2 |
Java Mixins framework |
Mar 17, 2015 |
|
Java |
4 |
Framework for Java |
Mar 14, 2023 |
|
Python |
6 |
A machine learning framework to automatically assess pull request comments and reviews for constructive and … |
Jan 27, 2022 |
|
Haskell |
2 |
A formal logic framework that runs in the browser |
Feb 07, 2022 |
|
Kotlin |
12 |
Trilogy: The database logic testing framework by Pivotal Labs |
Jan 28, 2023 |
|
GDScript |
8 |
A simple game logic framework for godot game engine |
May 02, 2021 |
|
Java |
2 |
An ugly & interactive logic gate visualizer written in Java using plain old Java Swing |
Oct 04, 2020 |
|
GAP |
4 |
GAP package recogbase for constructive recognition of groups |
Apr 17, 2019 |
|
JavaScript |
5 |
Constructive solid geometry for narrow band level sets |
Jul 09, 2019 |
|
C# |
14 |
A realtime constructive solid geometry library for C# |
Oct 28, 2020 |