GitHub topics: declarative-programming
di-unipi-socc/EdgeUsher
A declarative prototype to solve the VNF placement in Cloud-Edge scenarios.
Language: Prolog - Size: 37.5 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 2
KDahlgren/iapyx
A stand-alone translator for Dedalus programs.
Language: Python - Size: 18.7 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
maciej-nowak/DP-Film-Expert-System
Film expert system based on logic rules. Created at the Univeristy as the project within Declarative Programming classes in 2015. The purpose of this project was to creat expert system in Prolog and improve understanding of declarative programming paradigm.
Language: Prolog - Size: 18.6 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 22 - Forks: 7
SyntaxeQL/syntaxe
A declarative data querying library inspired by graphql.
Language: JavaScript - Size: 4.16 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
dungntm58/iOSCore
An architecture, util modules and declarative table view/collection view and so on
Language: Swift - Size: 809 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 0
meowpunch/meowrithm
practice algorithms and data structures in different languages and programming styles
Language: Java - Size: 9.36 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
ldaniels528/lollypop
Lollypop is a development platform built to suit the needs of developers of small to medium software projects, and features an integrated database, web services, scenario-driven test suite, and more.
Language: Scala - Size: 5.45 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 2
ArdavanKhalij/A-Domain-Specific-Language-for-Poster-Design
This is a VUB project for the course declarative programming under supervision of Dr. Geraint Wiggins and Mr. Steven Homer.
Language: Prolog - Size: 522 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
Alja7dali/swift-web-page
📄 A Swift DSL for writing type-safe HTML/CSS in SwiftUI way
Language: Swift - Size: 201 KB - Last synced at: 9 days ago - Pushed at: over 3 years ago - Stars: 16 - Forks: 1
LoipesMas/vesmor
a fantasy video game console with vector graphics and a declarative statically typed functional programming language
Language: Rust - Size: 1.05 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
CobraTamer/NetAuto-Declarative-vs-Imperative
This code demonstrates two network automation classes, with class attributes, and functions. One of the class's demonstrate declarative way to automate multilayer switch. The other class demonstrates imperative form of network automation.
Language: Python - Size: 1.95 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
mingodad/picat
My unofficial picat http://picat-lang.org/ repository
Language: C - Size: 32.5 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 26 - Forks: 1
o-nnerb/WrappersUI 📦
Wrappers for UIKit to improve view code implementation (almost like SwiftUI)
Language: Swift - Size: 25.4 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
AdoDragicevic/find-2-watch
Find movies, shows, and their details
Language: TypeScript - Size: 442 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
nfogh/monitoring
Declarative monitoring of variables in C++
Language: CMake - Size: 174 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 7 - Forks: 0
Jatan-Kumar/react-concept
in this project i demonstrate my knowledge and skills of REACT.js Core Concepts
Language: JavaScript - Size: 764 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
mvneerven/xo 📦
XO-JS - Declarative Forms, Wizards, Surveys. Developer Friendly, Extensible, Inheritance. Pure, Vanilla ES6 JavaScript - no dependencies.
Language: JavaScript - Size: 9.28 MB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 12 - Forks: 2
71emj/compare
It's a much better switch
Language: JavaScript - Size: 649 KB - Last synced at: 5 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 0
DirectToSwift/DVDRentalCoreData
Demo app using Direct to SwiftUI on top of a Sakila Database (CoreData version)
Language: Swift - Size: 1.17 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0
jorenham/rxio
Declarative Reactivity in modern Python
Language: Python - Size: 231 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0
Mikej81/f5-bigip-hardening-DO
Declarative Onboarding examples for Secure Cloud Architectures.
Size: 154 KB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 2
ndelah/Prolog
Notes and exercises made in Programming languages and Methodologies.
Size: 11.7 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
RexKizzy22/sml
Programming challenges geared towards learning language idioms and semantics of programming languages in different language families.
Language: Standard ML - Size: 332 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
sudiptiwari/ai-prolog-codes
This repository comprises Prolog code designed to facilitate a foundational grasp of Prolog and knowledge-based declarative programming implemented in SWI Prolog.
Language: Prolog - Size: 9.77 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
seanmiddleditch/descript
Declarative scripting language experiment
Language: C++ - Size: 1.16 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
naman03malhotra/match-rules
A tiny 1kB zero dependency JavaScript utility that lets you write your conditional business logic in a declarative way (React like).
Language: JavaScript - Size: 1.24 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 43 - Forks: 6
elliot-zzh/framer
Create canvas animation by key frames in JS/TS with declarative API
Language: TypeScript - Size: 115 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
RPI-WCL/pilots
PILOTS (ProgrammIng Language for spatiO-Temporal data Streaming applications)
Language: Java - Size: 17.6 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 5
AweSkyBear/obs-disp
Create 0-coupling declarative event-bound components with functions and objects only
Language: TypeScript - Size: 98.6 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
techuila/node-loopie
Reduce your code with node-loopie. Routes declaration, models, and etc... node-loopie will shorten it for you. Converts your nodejs files in a folder to an object.
Language: JavaScript - Size: 24.4 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 6 - Forks: 0
devkabiir/inheritable
Inheritable - Aspect based efficient by default, zero-dependency, declarative state/dependency management for flutter
Language: Dart - Size: 194 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 1
maciej-nowak/DP-Tasks
Examples of functional and logic programming. Created at the University as the project within Declarative Programming classes in 2015. The purpose of those examples was to learn basic of functional and logic programming.
Language: Haskell - Size: 8.79 KB - Last synced at: over 1 year ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0
dagronf/DSFTouchBar 📦
An SwiftUI-style declarative NSTouchBar wrapper
Language: Swift - Size: 351 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0
HasanHuseyinDemir/Anchors-Framework
An Open-Source and Reactive Javascript SPA Framework
Language: JavaScript - Size: 718 KB - Last synced at: 6 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
rubberui/rubber
✍️ The prototype of a declarative desktop gui framework is at the stage of early implementation of ideas.
Language: Java - Size: 60.5 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
acampillos/Haskell-Data-Strcutures
Some data structures implemented in Haskell
Language: Haskell - Size: 343 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
Nidal-Bakir/FP
Functional Programming using Dart language
Language: Dart - Size: 1.05 MB - Last synced at: 8 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
utshodebravestone/fns
(ABANDONED) A Functional, Declarative, Scripting Language
Language: Rust - Size: 75.2 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
Ivy-Apps/ivy-frp 📦
FRP (Functional Reactive Programming) framework for declarative-style programming for Android. :rocket: (compatible with Jetpack Compose)
Language: Kotlin - Size: 189 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 10 - Forks: 0
mogera551/data-x.js
simple and easy javascript framework
Language: JavaScript - Size: 428 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
EliteAvocado/iflog-lang
A declarative programming language for Textadventure-Games (also known as Interactive Fiction), inspired by the deductive language Datalog, which in itself is a syntactic subset of Prolog.
Language: Java - Size: 3.88 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
funivan/cabbage-core 📦
Language: PHP - Size: 173 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
amha/my_ios_app
Declarative UI demo using Flutter.
Language: Dart - Size: 5.33 MB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
exekube/exekube 📦
Exekube is a framework for managing the whole lifecycle of Kubernetes-based projects as declarative code with Terraform and Helm
Language: HCL - Size: 16.3 MB - Last synced at: 3 months ago - Pushed at: about 6 years ago - Stars: 44 - Forks: 16
abarreal/coopy
Coopy: Constraint Object Oriented Programming for Python
Language: Python - Size: 374 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
selimyanat/board-management-tool
This is a simple application that mimics a board management tool such as Trello but with a very limited scope. The motivation behind this is to drill down into a CQRS "Command Query Responsibility Segregation" architecture by covering a wide range of concepts such as Aggregate, Command handler, Even Store, Projection, and View with a simple domain but complex enough to highlights the challenges involved with this architecture.
Language: Java - Size: 546 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 1
MeGysssTaa/jminima
Minimalistic declarative JVM instrumentation library on top of ASM
Language: Java - Size: 109 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 1
di-unipi-socc/osmolog
A declarative solution for placing and configuring applications in Osmotic Computing settings.
Language: Prolog - Size: 522 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
Scytheric/Tritium
Fusion addons & utilities to help accelerate Fusion-driven UI development.
Language: Lua - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
mendes5/react-webgpu
GPU programming for humans
Language: TypeScript - Size: 5.52 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
juniqlim/realworld-springboot-declarative-oop-style
RealWorld backend made with Alan Kay's OOP
Language: Java - Size: 398 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 1
vadniks/ComputerComponentsAndroidApp
Language: Dart - Size: 3.92 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
beatriz5/game-of-akinator
it will guess the animal you think of through yes or no questions. When the akinator knows the animal you are thinking of, it will display an ASCII art of the correct answer. New animals can be added
Language: Prolog - Size: 13.7 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
9oelM/20-days-of-restudying-javascript
restudying javascript for 20 days.
Language: Shell - Size: 39.1 KB - Last synced at: 7 months ago - Pushed at: almost 4 years ago - Stars: 9 - Forks: 0
HondaPL/Movie-Night-Expert
Expert system written in Prolog to choose movie for a Friday Night.
Language: Prolog - Size: 150 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
Ghurtchu/fluenTry
:policeman::oncoming_police_car: Manage unchecked exceptions functionally.
Language: Java - Size: 169 KB - Last synced at: 7 months ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 0
leolanese/Functional-Programming-mindset
"Functional Programming mindset" - An introduction to Functional Programming using JavaScript
Language: JavaScript - Size: 3.13 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 8 - Forks: 3
thatjsprof/functional_js
This repository holds all code related to learning functional programming in javascript. It is based on the book "functional programming" by Kyle Sympson
Language: JavaScript - Size: 1000 Bytes - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
KoolTheba/100_katas_workout
Keep your Javascript skills fit 🏋🏻♀️ with a non-sweat 🧘♀️ yes-rewarding 🎁 as-often-as-U-want Katas workout.
Language: JavaScript - Size: 43.9 KB - Last synced at: 3 months ago - Pushed at: almost 4 years ago - Stars: 9 - Forks: 1
oelin/chime
A tiny, declarative UI library.
Language: JavaScript - Size: 82 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
abel1927/Declarative-Programming-Project.-Haskell
Text Adventure game developed with Haskell. Declarative Programing Project, first semester third year (2021)
Language: Haskell - Size: 1000 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
danlkv/tgflow
A declarative-style telegram bot framework
Language: Python - Size: 15.1 MB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 3
Holistic-Apps-LTDA/DeclarativeUI
A library to develop UI declaratively in Swift.
Language: Swift - Size: 379 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
denniscual/fp-playground 📦
:neckbeard: Make learning FP fun again using javascript
Size: 31.3 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
Neverous/ii-programming11 📦
Programming Course 2011
Language: Prolog - Size: 26.4 KB - Last synced at: over 1 year ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0
Burbon13/Prolog-Exercises 📦
Politehnica University of Bucharest - Prolog course (exercises)
Language: Prolog - Size: 1.13 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0
RapDoodle/Form2Cmd
A declarative programming framework that helps build graphical user interfaces (GUIs) for command-line-only applications.
Language: HTML - Size: 133 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
jariazavalverde/blog
Blog sobre programación declarativa, lógica y funcional
Language: Haskell - Size: 499 KB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 8 - Forks: 0
Sintrastes/MapAlgebra.jl
High-level declarative GIS processing library for Julia.
Language: Julia - Size: 16.6 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0
vtramo/java-problems
Solutions for various types of medium-to-challenging level problems.
Language: Java - Size: 31.3 KB - Last synced at: 9 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
ArdavanKhalij/Nine-Mens-Morris-Problem
This is a VUB project for the course declarative programming under supervision of Dr. Geraint Wiggins and Mr. Steven Homer.
Language: Prolog - Size: 174 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0
yarn-rp/case_matcher
Pattern specification library for Dart language
Language: Dart - Size: 29.3 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 9 - Forks: 0
Abouelyatim/Functional-Programming-101-Java
Functional programming course
Language: Java - Size: 31.3 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 14 - Forks: 6
christopherfriedrich/javafunctional
Comparison of imperative to functional / declarative programming in Java
Language: Java - Size: 28.3 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
iararoldan99/java-functional-programming
Language: Java - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
brunocampos01/prolog-language
Aulas e exercícios de PROLOG, vista nas matérias: Paradigmas da computação e Sistemas inteligentes
Language: Prolog - Size: 33.2 MB - Last synced at: 9 months ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0
Yesmad-Coders/functional-programming-study
🖥 Functional Programming Study Repository 📚
Language: JavaScript - Size: 4.8 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 9 - Forks: 4
rebeloper/Stax
🏆 Best way to build UI
Language: Swift - Size: 4.35 MB - Last synced at: 6 months ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0
leynier/proyecto-declarativa-I Fork of cbermudez97/proyecto-declarativa-I
Simulador del Juego Azul implementado en Prolog
Language: Prolog - Size: 230 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
JSuder-xx/litlog
An on-line literate logic programming language (similar to Prolog) designed to replace symbol heavy syntax with literate keywords in order to focus learners on fundamental logic programming concepts.
Language: OCaml - Size: 817 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0
ArthurGartner/csci618-prolog-project
Semester project for CSCI618 using Prolog to parse language for Natural Language Processing (NLP).
Language: Prolog - Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
Simre1/reactive-markup-old
A haskell library for declarative GUI programming.
Language: Haskell - Size: 226 KB - Last synced at: 8 months ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0
masiiie/agent-prolog-proyect
Agent simulation project
Language: TeX - Size: 492 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0
hamidgholami/jenkins-lab
Some template of jenkinsfile for using in jenkins pipeline
Language: Groovy - Size: 38.1 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
mohamedawnallah/Functional-Programming-Scala-3
This Specialization provides a hands-on introduction to functional programming using the widespread programming language, Scala. It begins from the basic building blocks of the functional paradigm, first showing how to use these blocks to solve small problems, before building up to combining these concepts to architect larger functional programs. You'll see how the functional paradigm facilitates parallel and distributed programming, and through a series of hands on examples and programming assignments, you'll learn how to analyze data sets small to large; from parallel programming on multicore architectures, to distributed programming on a cluster using Apache Spark. A final capstone project will allow you to apply the skills you learned by building a large data-intensive application using real-world data.
Language: Scala - Size: 52.7 KB - Last synced at: 4 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
JoseCarlosGualo/ProgramacionDeclarativa_quizzer
Repository to answer quizzes about Declarative Programming. This repository contains the code to execute, with the corresponding xls files with the questions, options, and answers of the quizzes
Language: Python - Size: 86.9 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
hearnderek/DeclarativePython
Connects python functions to function parameters through reflectively generating a dependency graph. Runs on top of pandas to allow for easier ETL and reporting.
Language: Python - Size: 8.91 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
di-unipi-socc/SecFog
A tool for security assessment of multi-service IoT application deployment in the Fog.
Language: Prolog - Size: 167 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 1
javigom/ProgramacionDeclarativa
Programa en Haskell que implementa una serie de funciones para trabajar con relaciones binarias sobre un conjunto cualquiera. Práctica realizada para la asignatura Programación Declarativa. 3º Ingeniería Informática. UCM.
Language: Haskell - Size: 97.7 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
bdcrops/module-simplenews
BDC_SimpleNews full-fledged Module Step by Step
Language: JavaScript - Size: 3.06 MB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 3
JuanGallard0/declarative-programming
Exercises and assignments for declarative programming course. Prolog and Racket programming languages.
Language: Prolog - Size: 21.5 KB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
dewasemadi/Basprog-Prolog-CPP-Java
This repository contains code for KOM200
Language: C++ - Size: 23.4 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
AfsmNGhr/gitlab-ci-cd-concept
The configuration and tooling for pipeline on GitLab CI / CD
Language: Shell - Size: 12.7 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
Dan920-Dev/declarativeProgrammin
Repositorio de ejemplos y ejercicios realizados en clase de Programación Declarativa.
Language: Prolog - Size: 584 KB - Last synced at: 8 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
gorkinovich/ACF
Auditoría, Calidad y Fiabilidad (UCM, 2015)
Size: 735 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
gorkinovich/Selene
System to use model-checking in languages with concurrent programing using message passing
Size: 66.4 KB - Last synced at: over 1 year ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 1
Wattpad/Schematic
A declarative Swift micro-framework for view layouts
Language: Swift - Size: 285 KB - Last synced at: 2 months ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 1
joaom00/js-funcional-reativo
Repositório para o curso JavaScript Funcional e Reativo - PENSE como um Dev JS da Cod3r
Language: JavaScript - Size: 379 KB - Last synced at: 9 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
mbatoul/declarative_pipeline_spec
Experimentations with declarative pipeline specification
Size: 59.6 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
DirectToSwift/DVDRental
Demo app using Direct to SwiftUI on top of a Sakila Database
Language: Swift - Size: 1.16 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 5 - Forks: 0