GitHub topics: constraints
sile-typesetter/cassowary.lua
A Lua port of the cassowary constraint solver engine
Language: Lua - Size: 146 KB - Last synced at: 14 days ago - Pushed at: about 3 years ago - Stars: 35 - Forks: 7
goofybryan/ZarDevs
I have been working in the .Net environment for years, and as everyone knows, you generate a style of how you code. A fingerprint so to speak. I decided to take some of my past concepts and ideas and make them available at my own time. Here I can play and try new things :)
Language: C# - Size: 805 KB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
hanjq17/GMN
[ICLR 2022] The implementation for the paper "Equivariant Graph Mechanics Networks with Constraints".
Language: Python - Size: 15 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 56 - Forks: 7
PyFPGA/resources
Shared resources (HDL and constraint files) between projects of the PyFPGA organization.
Language: VHDL - Size: 28.3 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
tadasv/conditiond
Generic constraint and policy evaluator
Language: Go - Size: 35.2 KB - Last synced at: 12 months ago - Pushed at: almost 4 years ago - Stars: 22 - Forks: 0
algoetech/constraints_example
A flutter app demo, displaying capabilitiees of some basic flutter tools. Aim to explore the constraints of mobile app devs
Language: C++ - Size: 329 KB - Last synced at: 10 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
MrGcGamer/LibGcUniversalDocumentation
This repo contains documentation for LibGcUniversal, a universal library for iOS Tweaks, mainly focused on providing improved preferences.
Language: Objective-C - Size: 407 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 31 - Forks: 7
ArdentStack/Parameterize.Net
Parameterize.Net is a library that allows developers to represent complex objects using float array.
Language: C# - Size: 2.5 MB - Last synced at: 2 days ago - Pushed at: almost 3 years ago - Stars: 25 - Forks: 1
keshavvishwkarma/KVConstraintKit
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
Language: Swift - Size: 7.3 MB - Last synced at: 3 days ago - Pushed at: over 6 years ago - Stars: 92 - Forks: 12
MohamedShiha/EZConstraints
Auto Layout but a lot EZier.
Language: Swift - Size: 268 KB - Last synced at: 28 days ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0
SugarAndCandy/SuperPuperDuperLayout
Super puper duper mega easy awesome wrapper over auto layout!!111!!1!!!1!!!11111!!!1!!
Language: Swift - Size: 801 KB - Last synced at: 10 days ago - Pushed at: about 7 years ago - Stars: 15 - Forks: 1
ByancaMatos01/Exercicioconstraint3
Exercicio 3 constraint SQL server
Language: TSQL - Size: 3.91 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0
bl33h/wordleAi
A project to simulate the Wordle game with models like Constraints and Minimax to solve it.
Language: Python - Size: 384 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1
stevepereira/flow-engineering
Flow Engineering is the practice of improving the flow of work, information, and data across organizations through value streams.
Language: HTML - Size: 1.09 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 1
fernaper/cv2-tools
v2.4.0 - Library to help the drawing process with OpenCV. Thought to add labels to the images. Classification of images and much more.
Language: Python - Size: 8.79 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 3
tsitsimis/constrainedlr
Drop-in replacement of sklearn's Linear Regression with coefficients constraints
Language: Python - Size: 637 KB - Last synced at: 21 days ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 0
jerin-arpa/advance-typeof-typescript
Language: TypeScript - Size: 9.77 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
HotPotatoC/sture
🧱 Sture is a collection of data structures based on Go 1.18+ Generics (Stack, Queue, Linked List, etc.)
Language: Go - Size: 43.9 KB - Last synced at: 12 months ago - Pushed at: about 3 years ago - Stars: 35 - Forks: 2
thibautmarcq/LU2IN009
Introduction Bases de Données Relationnelles - Calcul relationnel, SQL, Jointures, Requêtes imbriquées, Divisions, Groupement, Création de schéma
Language: Jupyter Notebook - Size: 21.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
kenanmorani/Optimization_Techniques_idu
University Course Assignments - Optimization Techniques
Language: Jupyter Notebook - Size: 723 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
ksheremet/CocktailsPro
Language: Java - Size: 15.4 MB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0
nariaki3551/ppulp
An extension PuLP, linear programming modeling tool
Language: Python - Size: 32.2 KB - Last synced at: 12 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 0
spygaurad/Java_Project_Math_Quiz_Entry
A Java Program to manage entries with constraints in a Math Quiz Competition.
Language: Java - Size: 33.2 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
mlivernoche/SharpSolutionOptimizer
C# repository for linear/nonlinear programming, optimization, modeling, etc.
Language: C# - Size: 36.1 KB - Last synced at: about 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
udacity/ios-short-programmatic-ui
This repository contains resources for Programmatic UI.
Language: Swift - Size: 189 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 5
slimgroup/FNO-NF.jl
Solving multiphysics-based inverse problems with learned surrogates and constraints
Language: Julia - Size: 6.48 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 1
jdisho/VanillaConstraints
🍦 Simplified and chainable AutoLayout constraints for iOS.
Language: Swift - Size: 182 KB - Last synced at: 23 days ago - Pushed at: almost 2 years ago - Stars: 42 - Forks: 5
Satori17/Autolayout_Programatically
TBC Bootcamp Task 19
Language: Swift - Size: 54.7 KB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
Satori17/AutolayoutDemo_TresCommasApp
TBC Bootcamp Task 13
Language: Swift - Size: 1.24 MB - Last synced at: about 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
domel/PGDL-conv
Property Graph Definition Language
Language: Python - Size: 22.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 1
akauppi/just-solve
[EARLY WIP] Studying a way to get SVG and CAD constraints bound together.
Language: JavaScript - Size: 98.6 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
danielinoa/Pin
A declarative wrapper around NSLayoutConstraint and NSLayoutAnchor to simplify the assembly of AutoLayout constraints.
Language: Swift - Size: 61.5 KB - Last synced at: 6 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
HussainAther/computerscience
puzzles, problems, search, sort, graph, constraint, theory, symbolic
Language: Python - Size: 4.27 MB - Last synced at: over 1 year ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0
ww-tech/wwlayout
Swifty DSL for programmatic Auto Layout in iOS
Language: Swift - Size: 631 KB - Last synced at: 16 days ago - Pushed at: about 2 years ago - Stars: 52 - Forks: 13
triska/clpz
Constraint Logic Programming over Integers
Language: Prolog - Size: 1.01 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 172 - Forks: 14
Qastell/SugarLayout
Have a pleasant experience with swift autolayout <3
Language: Swift - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
kblomdahl/green-tea
A constraint optimizer based intended for noisy black-box functions
Language: Python - Size: 38.1 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
CaffeineViking/concepts-primer
Primer for C++ Concepts
Language: TeX - Size: 3.71 MB - Last synced at: 11 months ago - Pushed at: about 6 years ago - Stars: 21 - Forks: 2
SinaMirrazavi-sony/QP_IK_solver
Quadratic program based Inverse kinematic solver for mutli-robotic arms with respect to the kinematic and self-collision avoidance constraints
Language: C++ - Size: 239 KB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 43 - Forks: 7
pathak22/ccnn
[ICCV 2015] Framework for optimizing CNNs with linear constraints for Semantic Segmentation
Language: C++ - Size: 282 KB - Last synced at: 22 minutes ago - Pushed at: about 9 years ago - Stars: 64 - Forks: 27
chanioxaris/kenken-solver
Solves KenKen puzzles, by representing it as a Constraint Satisfaction Problem (CSP)
Language: Python - Size: 139 KB - Last synced at: about 2 months ago - Pushed at: about 6 years ago - Stars: 20 - Forks: 2
FranDepascuali/ConstraintsMonitor
A tool to understand constraints warnings. Nicer constraints warnings, with no setup needed.
Language: Swift - Size: 191 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 16 - Forks: 0
anna-yeddi/login
Accessible login page with client-side validation, error hints, options to show typed password and localStorage for username. WCAG 2.0 AA compliant. User data is tested with local database.
Language: CSS - Size: 438 KB - Last synced at: 3 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
sdasgup3/parallel-sudoku
Parallel Sudoku Implementation using Charm++
Language: C - Size: 15.4 MB - Last synced at: 2 months ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 6
bibinjacobpulickal/AutoLayoutProxy
A simple and lightweight Auto-Layout-Kit that makes you feel like playing a fun game laying out views. AutoLayout supports UIKit on iOS & tvOS and AppKit on macOS so you wouldn't have to worry about using different solutions on different platforms. AutoLayoutProxy is compiled on Xcode 14.2 using Swift 5.7 and will be updated for all future releases
Language: Swift - Size: 224 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 3
vprokopchuk256/mv-postgresql
Postgresql constraints in migrations similiar to ActiveRecord validations
Language: Ruby - Size: 164 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 2
amales24/Internship-6-CERNAtHome
Database containing data about CERN scientists, accelerators and projects. Demonstration of basic SQL skills and writing complex queries.
Language: PLpgSQL - Size: 26.4 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
Artityagi123456789/-100dasofSystemVerilog
System Verilog using Functional Verification
Language: SystemVerilog - Size: 6.83 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 9 - Forks: 0
projectsveltos/addon-compliance-controller 📦
A Kubernetes controller designed to manage add-on compliance for a fleet of clusters.
Language: Go - Size: 304 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
richoux/GHOST_C_sharp
GHOST (General meta-Heuristic Optimization Solving Tool) is a C# library designed to solve combinatorial satisfaction and optimization problems within some tenth of milliseconds.
Language: C# - Size: 4.06 MB - Last synced at: about 1 year ago - Pushed at: almost 9 years ago - Stars: 6 - Forks: 2
ByancaMatos01/ExercicioConstraint2
EXERCICIO DE CONSTRAINT EM SQL SERVER
Language: TSQL - Size: 2.93 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 0
pavankumar-n-46/CollectionView-Flowlayouts
Collection view with flow layout toggle.
Language: Swift - Size: 1.47 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
chrppi-developpers/chrppi
CHR++ interpreter on the Web
Language: C++ - Size: 86.6 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
wlgemini/Driftwood
Driftwood is a DSL to make Auto Layout easy on iOS, tvOS and macOS.
Language: Swift - Size: 543 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 1
xeBuz/Flask-Validator
Validator for SQLAlchemy Models
Language: Python - Size: 1.33 MB - Last synced at: 23 days ago - Pushed at: 8 months ago - Stars: 28 - Forks: 12
ORB-HD/rbdl-orb
RBDL - Rigid Body Dynamics Library - ORB Version - The two main differences to the original rbdl is that this version has error handling and uses polymorphism for constraints
Language: C++ - Size: 16.7 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 91 - Forks: 46
ComradeVanti/UnityRectConstraints
This Unity package adds useful utilities for working with Rect objects in GUI and EditorGUI code.
Language: C# - Size: 57.6 KB - Last synced at: 6 days ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 2
MartinsRucevskis/composer-constraint-updater
Composer plugin to automatically update all packages to newest version for specified package constraints
Language: PHP - Size: 170 KB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 3
Shyp/go-dberror
parsing postgres errors
Language: Go - Size: 110 KB - Last synced at: 7 months ago - Pushed at: over 3 years ago - Stars: 91 - Forks: 8
cognitivefactory/interactive-clustering
Python package used to apply NLP interactive clustering methods.
Language: Python - Size: 9.51 MB - Last synced at: 13 days ago - Pushed at: over 1 year ago - Stars: 10 - Forks: 0
matthewozon/NMOpt
Julia package implementing BFGS in various forms
Language: Julia - Size: 158 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
ParisaArbab/Logical-and-Physical-Data-Modeling
Data Modeling
Size: 336 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
ParisaArbab/Data-Modeling
Retrieve data from two different websites, loading them into the PostgreSQL database using Python, and combine them to get and present new information
Language: Python - Size: 2.79 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
iciwim3/EtaminaSlabel
Simple animations to labels
Language: Swift - Size: 5.27 MB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
codecop/pmd-rules
Mixed set of PMD rules regarding basic bugs, design principles, junit test, naming etc.
Language: Java - Size: 394 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
fkutzner/PyCSCL
A lightweight CNF SAT constraint encoder library
Language: Python - Size: 221 KB - Last synced at: 23 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
madison-freeman/quicksort-on-doubly-linked-list
Sorted the given doubly linked list of size N using quicksort. Created a function partition(), which accepts the first and last node of the given linked list as input parameters and returns the pivot's address. Expected Time Complexity: O(NlogN), Expected Auxilliary Space: O(1), Constraints: 1 <= N <= 200
Language: C++ - Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
tueboesen/Constrained-Neural-Networks
This project provides a novel combination of the field of differential algebraic equations and deep neural networks, and this combination enables us to add constraints to neural networks. We explore various constraint methods and compare their strengths and weaknesses.
Language: Python - Size: 25 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
cognitivefactory/interactive-clustering-gui
An annotation tool for NLP data based on Interactive Clustering methodology.
Language: Python - Size: 15.8 MB - Last synced at: 4 days ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 1
cognitivefactory/interactive-clustering-comparative-study
A comparative study of `cognitivefactory/interactive-clustering` package on NLP datasets.
Language: Jupyter Notebook - Size: 266 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
luraianne1/postgresql
Pequenos códigos úteis para PostgreSQL
Language: Batchfile - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
nitronoid/csb
A cloth and soft body simulation library, using position based dynamics.
Language: C++ - Size: 3.5 MB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 37 - Forks: 7
maximkrouk/SUILayout
SwiftUI sizing DSL, inspired by SnapKit.
Language: Swift - Size: 64.5 KB - Last synced at: 9 days ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 1
salilrsharma/Constrained-Non-Linear-Programing-Solver
To solve the constrained nonlinear optimization problem with equality constraints, Sequential Quadratic Programing (SQP) is implemented in the MATLAB.
Language: MATLAB - Size: 132 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
Kacper20/FlexibleLayout
Distributing flexible spaces between views in a declarative way
Language: Swift - Size: 53.7 KB - Last synced at: 11 days ago - Pushed at: almost 8 years ago - Stars: 2 - Forks: 0
estum/dry-types-tuple
The Tuple type implementation for Dry::Types
Language: Ruby - Size: 39.1 KB - Last synced at: 12 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0
beaupletga/Simple-Neural-Network-from-scratch
Language: Jupyter Notebook - Size: 167 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
electric-sql/legacy-vaxine 📦
Vaxine provides rich-CRDT features on top of Antidote.
Language: Elixir - Size: 19.5 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 15 - Forks: 0
tolstenev/SQL_Database_for_School_21
[done] Relational database of students of School 21, with the specified constraints, triggers and required procedures
Language: PLpgSQL - Size: 765 KB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
tolstenev/SQL_Bootcamp
[done] A set of daily tasks to learn the basics of PostgreSQL
Language: PLpgSQL - Size: 9.91 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
chansey97/clprosette-miniKanren
CLP(Rosette) on top of miniKanren
Language: Racket - Size: 2.83 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 8 - Forks: 0
chansey97/chr_book
Valuable code and exercises about the book "Constraint Handling Rules (2009)" .
Language: Prolog - Size: 105 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0
wuuya1/SCA
The shunted collision avoidance (SCA) for multiple fixed-wing UAVs motion planning (Implementation of RVO3D, ORCA3D, and our SCA with python).
Language: Python - Size: 83.1 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 0
wuuya1/PCA
Multi-Vehicle Motion Planning with Posture Constraints in Real World (Implementation of RVO, ORCA(RVO2), and our PCA with python).
Language: Python - Size: 1.03 MB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 1
miwong/IntelliDroid
A targeted input generator for Android that improves the effectiveness of dynamic malware analysis.
Language: Java - Size: 68.2 MB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 57 - Forks: 29
giovannitjahyamulia/sistema-datapilar
This is a project I did for my Technical Test as iOS Developer at Sistema Datapilar. I develop a native iOS App using UIKit with MVVM design pattern. In this project, I am fetching data from API provided using Alamofire and Kingfisher.
Language: Swift - Size: 70.3 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
yosestartup/FMessenger
Messenger app for iOS
Language: Swift - Size: 24.4 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
lambdamikel/VISCO
A Visual Spatial Query Language written in Common Lisp & CLIM for its GUI
Language: Common Lisp - Size: 2.04 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0
winstxnhdw/OfflinePathOptimisation
An investigation of various path planning optimisation techniques from academic papers in Jupyter Notebook.
Language: Jupyter Notebook - Size: 135 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 3
Spektralzerleger/Hamilton-Systems
Lecture Notes on "Hamiltonian Systems with Constraints" given by Prof. Vechernin at Saint Petersburg State University, typesetted in LaTeX.
Language: TeX - Size: 3.61 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
alwilson/smt2_rand_sampler
Explorations in Uniform Sampling of SMT2 Constraints
Language: Python - Size: 10.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
isse-augsburg/minibrass
Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc
Language: Jupyter Notebook - Size: 34.4 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 15 - Forks: 7
atero18/c3t
Clustering with connectivity (regionalization) and/or minimum-maximum size constraints
Language: R - Size: 6.3 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Bithyakter/Generics-in-CSharp
Generics in CSharp. A console application to print the behavior of an animal.
Language: C# - Size: 15.6 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
k-o-d-e-n/CGLayout
Powerful autolayout framework, that can manage UIView(NSView), CALayer and not rendered views. Not Apple Autolayout wrapper. Provides placeholders. Linux support.
Language: Swift - Size: 5.11 MB - Last synced at: 3 days ago - Pushed at: almost 3 years ago - Stars: 44 - Forks: 6
Qix-/cassowary-playground
A playground for Cassowary constraints
Language: Rust - Size: 8.79 KB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
shingohry/CartographyDemos
Demo app using Cartography
Language: Swift - Size: 186 KB - Last synced at: almost 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
DavidPratten/jetisu
Jetisu is a toolset for modelling with sigma complete relations.
Language: Jupyter Notebook - Size: 7.29 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 1
muhammetsanci/University-Database
An example database model of a university, created for the Database Management course project of Ege University Department of Computer Engineering.
Size: 1.24 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
aiquiral/Sudoku-Solver-Prolog
I made this as a minor project in the second semester of my MSc IT.
Language: Prolog - Size: 1.29 MB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
