An open API service providing repository metadata for many open source software ecosystems.

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