|
|
Haskell |
47 |
Constraint-based generics |
Jan 23, 2023 |
|
|
Haskell |
38 |
Haskell typechecker |
Aug 18, 2021 |
|
|
Rust |
2 |
A smol typechecker to learn how to write a typechecker. |
Feb 14, 2023 |
|
|
Python |
12 |
Data-Driven Constraint-based analysis |
Nov 19, 2021 |
|
|
Julia |
2 |
Differentiable constraint-based metabolic models |
Jul 11, 2022 |
|
|
JavaScript |
2 |
Javascript constraint-based graph layout |
Sep 28, 2016 |
|
|
TypeScript |
42 |
Javascript constraint-based graph layout |
Apr 17, 2023 |
|
|
HTML |
63 |
Constraint based article layout system |
Jun 30, 2022 |
|
|
Rust |
3 |
Constraint based GUI for Rust |
Jul 29, 2020 |
|
|
Java |
2 |
Search-based OCL constraint solver |
May 15, 2019 |
|
|
Scala |
2 |
Constraint-based Planner and Executive |
Jun 23, 2023 |
|
|
None |
2 |
Javascript constraint-based graph layout |
Jun 05, 2023 |
|
|
Java |
5 |
Constraint acquisition based precondition learner |
Dec 05, 2023 |
|
|
Elixir |
83 |
Static Typechecker for Elixir |
Apr 16, 2023 |
|
|
C++ |
3 |
A Typechecker for Ruby |
Jul 27, 2021 |
|
|
Julia |
25 |
Constraint-Based Reconstruction and EXascale Analysis |
Sep 18, 2022 |
|
|
Python |
1987 |
Constraint-based geometry sketcher for blender |
May 03, 2023 |
|
|
OCaml |
9 |
Constraint solver based on abstract interpretation |
Mar 11, 2023 |
|
|
None |
16 |
Constraint-based geometry sketcher for blender |
Apr 18, 2023 |
|
|
Jupyter Notebook |
6 |
Constraint-based Learning with Neural Networks |
Feb 27, 2023 |
|
|
Lua |
11 |
A Runtime Typechecker for Roblox |
Jul 12, 2022 |
|
|
Lua |
142 |
A Runtime Typechecker for Roblox |
Apr 17, 2023 |
|
|
OCaml |
15 |
An infinity-categorical coherence typechecker |
Apr 11, 2023 |
|
|
None |
41 |
Lidar localization system with prior map constraint and lio constraint based on GTSAM |
Apr 05, 2023 |
|
|
JavaScript |
4 |
[WIP] Constraint based styling api based on styled-system |
Feb 07, 2019 |
|
|
Python |
7 |
Grasp Planner Based on Environmental Constraint Exploitation |
Oct 01, 2021 |
|
|
JavaScript |
26 |
Constraint-based layout system for React components. |
Feb 18, 2022 |
|
|
PHP |
3 |
Constraint-Based Local Search for Vehicle Routing |
Apr 04, 2022 |
|
|
None |
3 |
Chemical table files for constraint-based modelling |
Oct 19, 2023 |
|
|
Python |
30 |
Hack's typechecker & autocompletion inside Sublime Text |
Jul 31, 2019 |
|
|
JavaScript |
100 |
Atom Linter for Facebook's Flow typechecker |
Mar 22, 2022 |
|
|
JavaScript |
4 |
A eslint plugin for jsig typechecker |
Jan 02, 2017 |
|
|
Haskell |
9 |
Poor man's typechecker in Template Haskell |
May 26, 2021 |
|
|
Swift |
11 |
Swift implementation of Peter Norvig's constraint based solver. |
Feb 24, 2022 |
|
|
C++ |
35 |
JIGSAW is a fuzzing-based path constraint solver. |
Jun 07, 2022 |
|
|
Go |
64 |
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum |
Aug 07, 2022 |
|
|
C# |
19 |
A causal creation tool for constraint-based PCG |
Nov 04, 2022 |
|
|
MATLAB |
193 |
The COnstraint-Based Reconstruction and Analysis Toolbox. Documentation: |
Aug 29, 2022 |
|
|
Python |
2 |
A constraint-based solver for TVM Relay (WIP) |
Dec 19, 2022 |
|
|
TeX |
2 |
Müller, Stefan: Germanic syntax: A constraint-based view |
Mar 20, 2023 |
|
|
Elixir |
222 |
Gradient is a static typechecker for Elixir |
Aug 14, 2022 |
|
|
Rust |
57 |
Another typechecker for Hack, built by Slack |
Mar 20, 2023 |
|
|
OCaml |
30 |
Linear Dependent Types for Differential Privacy TypeChecker |
Apr 19, 2023 |
|
|
Vim script |
89 |
Syntax highlighting and typechecker integration for Hack. |
Jan 28, 2023 |
|
|
TypeScript |
4634 |
Build consistent, themeable React apps based on constraint-based design principles |
Aug 20, 2022 |
|
|
None |
3 |
Build consistent, themeable React apps based on constraint-based design principles |
Aug 10, 2022 |
|
|
Python |
2 |
A GPT3 based AI without any kind of constraint |
Apr 17, 2023 |
|
|
Python |
23 |
AAAI 2021: Neural Sentence Ordering Based on Constraint Graphs |
Mar 15, 2023 |
|
|
Scala |
3 |
A design pattern detection tool based on constraint satisfaction |
Mar 28, 2023 |
|
|
Java |
14 |
Programming language based on the synchronous and constraint paradigms |
Mar 31, 2021 |