|
TypeScript |
2 |
State Historical Museum and The Pushkin Museum Downloader |
Mar 07, 2023 |
|
TypeScript |
3 |
VR version of the Museum |
Jul 23, 2020 |
|
C |
15 |
Go (golang) bindings for Picosat, the satisfiability solver |
Sep 07, 2021 |
|
Witcher Script |
286 |
Quine Museum |
Aug 08, 2022 |
|
None |
2 |
emoji museum |
Feb 28, 2016 |
|
HTML |
2 |
Comics museum |
Mar 31, 2023 |
|
TypeScript |
4 |
Teknisk Museum |
Jan 04, 2022 |
|
C++ |
12 |
BLACK (Bounded Lᴛʟ sAtisfiability ChecKer) |
Mar 27, 2023 |
|
Kotlin |
3 |
Brows images from the Smithsonian Museum |
Nov 16, 2021 |
|
RPC |
3 |
The 3D Museum designed by DirectX |
Nov 20, 2020 |
|
TypeScript |
3 |
Virtual Museum Khatulistiwa |
Mar 07, 2022 |
|
JavaScript |
2 |
Interactive Museum Exhibits |
Jan 28, 2023 |
|
JavaScript |
2 |
Dinosaur Museum Project |
Feb 06, 2023 |
|
HTML |
2 |
MUSEUM OF CANDY |
Jan 05, 2023 |
|
C++ |
3 |
Satisfiability solver for PB-XOR formulas |
Mar 23, 2022 |
|
SMT |
16 |
A Fast Floating-Point Satisfiability Solver |
Feb 27, 2023 |
|
C# |
9 |
DPLL boolean satisfiability solver for .NET |
Mar 31, 2023 |
|
HTML |
3 |
A web-based boolean satisfiability solver. |
Oct 03, 2023 |
|
Stylus |
3 |
The Museum, a repository for neuron reconstructions. |
Jan 30, 2021 |
|
Jupyter Notebook |
2 |
Project utilizing museum specimens from the Burke |
Jan 23, 2023 |
|
Rust |
2 |
Determines the satisfiability of a propositional formula using the Propositional Tableaux method |
Sep 20, 2020 |
|
JavaScript |
5 |
:satisfied: Boolean formula satisfiability algorithms for JavaScript |
Mar 06, 2022 |
|
JavaScript |
5 |
type signature satisfiability solver under function composition |
Jun 14, 2021 |
|
C++ |
44 |
Dominator Tree LLVM Pass to Test Satisfiability |
Feb 25, 2022 |
|
Python |
29 |
Learning local search heuristics for Boolean satisfiability |
Sep 30, 2022 |
|
R |
4 |
Museum of Spatial Transcriptomics |
Apr 16, 2022 |
|
JavaScript |
3 |
V&A Museum Viewer |
Aug 07, 2020 |
|
JavaScript |
2 |
Eyedentity - Project for ARTLAB at the Hirshhorn Museum |
Oct 01, 2022 |
|
None |
1300 |
The Museum of Modern Art (MoMA) collection data |
Apr 27, 2023 |
|
None |
80 |
The Museum of Modern Art (MoMA) exhibitions data |
Jan 14, 2023 |
|
XProc |
10 |
The public web API of the National Museum of Australia |
Oct 06, 2022 |
|
Python |
2 |
Genetic algorithm to solve the boolean satisfiability problem on GPU using CuPy |
Nov 21, 2022 |
|
TeX |
22 |
Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition. |
Apr 12, 2023 |
|
Ruby |
2 |
The Metropolitan Museum of Art Collection API Ruby wrapper |
Jan 11, 2022 |
|
HTML |
17 |
3D Art Museum using Three.js |
Jul 15, 2022 |
|
JavaScript |
2 |
Interactive and funny pokemon museum |
Mar 17, 2023 |
|
JavaScript |
3 |
The Museum of ZZT build of the "Zeta" specialized emulation core |
Jan 04, 2022 |
|
C |
2 |
The application that runs the Sugus-sorting-machine in the SCS museum. |
Mar 27, 2023 |
|
F# |
16 |
A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework. |
Oct 19, 2021 |
|
Python |
11 |
Sudoku solver based on SAT (Boolean Satisfiability) in python |
Aug 19, 2022 |
|
HTML |
5 |
Dagster - Parallel Structured Search for Boolean Satisfiability (SAT) problems |
Dec 16, 2022 |
|
JavaScript |
6 |
A MeiliSearch demo using the Museum Of Modern Art Collection |
Apr 21, 2022 |
|
PHP |
13 |
Website of the Art Institute of Chicago, an art museum |
Aug 18, 2022 |
|
R |
2 |
An Online Tool for the Comparative Analysis of Museum Databases |
Jan 31, 2022 |
|
C++ |
8 |
Interactive installation for "Andy Warhol: Manufactured" at the Anchorage Museum. |
Feb 07, 2023 |
|
TeX |
3 |
Open Science in Museums - Strategy of the "Naturhistorisches Museum Wien" |
Jun 02, 2022 |
|
None |
3 |
The Metropolitan Museum of Art Collection API As Mind Maps |
Jun 25, 2022 |
|
JavaScript |
2 |
Source code for father's museum website |
Jul 19, 2021 |
|
CSS |
2 |
Online Visual Art Collection/Gallery/Museum |
Apr 25, 2021 |
|
C |
9 |
Museum-quality bit-archive storage management |
Dec 13, 2021 |