Search Results for "logic programming"

This repository accompanies a comprehensive guide to building large, maintainable Haskell systems, focusing on architecture, modularity, and practical design techniques. It presents patterns for separating pure domain logic from side effects, organizing code into layers and components that can be tested in isolation. Readers encounter multiple styles—MTL/typeclass constraints, tagless-final encodings, free and freer monads, ReaderT-style application environments—and learn when to apply each....

...The material aims to be beginner-friendly while still building habits that matter in real projects, like writing readable functions and testing logic. By the end, students should feel confident writing small to medium programs and be ready to explore web, data, or automation tracks.

Aguacate is a framework with focus on implement business logic functionality, using configuration files (json) instead of programming. See the wiki and the videos See https://github.com/mcnew/aguacate-swagger-demo for a functional demo using docker-compose Videos in Spanish: https://www.youtube.com/playlist?list=PLSHQIkodyHroW2XF7BWCrymDv_Nlj7HRS

ixy-languages is a repository exploring the implementation of the ixy network driver (originally written in C) in multiple programming languages, showing how the same core logic can be expressed across language boundaries. The ixy driver is a minimal DPDK-based user-space NIC driver intended for education, demonstration, and controlled experimentation. This project reimplements the ixy driver architecture in Rust, Go, C++, Zig, and possibly other languages, maintaining the same driver semantics and API so users can compare performance, expressivity, safety, and expressiveness trade-offs. ...

Nesta área você encontra os códigos dos algoritmos dos exemplos de aprendizagem tratados no livro "Algoritmos: Lógica para desenvolvimento de programação de computadores" codificados nos interpretadores algorítmicos VisuAlg, ILA+, G-Portugol, Portugol Online, Portugol Studio e Portugol IDE. In this area you will find the codes of the algorithms of the learning examples dealt with in the book "Algorithms: Logic for computer programming development" coded in the VisuAlg, ILA+, G-Portugol, Portugol Online, Portugol Studio and Portugol IDE algorithmic interpreters.

This repository contains the second programming assignment for an R course, focused on caching expensive computations by leveraging R’s scoping rules. The assignment walks you through creating a special matrix object that stores both a matrix and its cached inverse, avoiding repeated calls to costly operations. It builds on a worked example that caches the mean of a numeric vector, demonstrating how the operator preserves state across function calls.

Myrtle is a simple programmable spreadsheet and statistical analysis software specifically designed for learning statistics. It provides the standard spreadsheet functionality one would expect like multiple tabbed sheets, relative and absolute row and column referencing in formulas, and a large catalog of built-in functions. Functions specific to logic and computer science, mathematics, probability, and statistics are available. Student's can easily create, customize, and update plots and...

This is a prolog-like programming language based on the fuzzy logic. It includes the class-libraries for fuzzy logic, probability theory and method of resolution, all made in C++. Java releases possible in the future.