vitorsvieira/dilate

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

Language: Scala - Size: 186 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 81 - Forks: 5

ilevd/cwp

Indentation-based syntax for Clojure

Language: Java - Size: 331 KB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 57 - Forks: 1

Soonad/Formality-Core

Specification of the Formality proof and programming language

Language: JavaScript - Size: 604 KB - Last synced at: 9 days ago - Pushed at: about 2 years ago - Stars: 41 - Forks: 11

cyan33/memoize

A JavaScript function wrapper to memorize / cache result with the same input

Language: JavaScript - Size: 3.91 KB - Last synced at: 7 days ago - Pushed at: over 7 years ago - Stars: 6 - Forks: 0

arufonsekun/computer-science-codes

Code related to my computer science classes (this repository begs for refactor)

Language: Python - Size: 76.5 MB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

adelarsq/awesome-fsharp-pt

Uma lista com conteúdos sobre F# em Língua Portuguesa

Size: 6.84 KB - Last synced at: 7 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1

eniltonangelim/dry-shell

Don't repeat yourself (DRY) in shell

Language: Shell - Size: 44.9 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 4 - Forks: 1

vanesa33/Tuplas-y-Programacion-Funcional

paradigma funcional en C#

Language: C# - Size: 92.8 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 4 - Forks: 0

Sarah-Hesham-2022/Sentence-Editor

Sentence Editor using C++ .

Language: C++ - Size: 1.78 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 0

zander-br/transferex

Microserviço para transferência de dinheiro construído com Elixir 💚

Language: Elixir - Size: 320 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

dominguetigs/js-funcional

:notebook: Conceitos de programação funcional utilizando a linguagem Javascript.

Language: JavaScript - Size: 2.15 MB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1

AngelGomera0917/Curso-de-Python1

🚀 Este repositorio contiene un curso completo de Python, dividido en tres niveles: Básico, Intermedio y Avanzado. Ideal para quienes quieren aprender desde cero o mejorar sus habilidades en Python.

Language: Python - Size: 103 KB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 2 - Forks: 1

walber-vaz/curso-js-funcional-e-reativo

🚀 Curso Javascript - Funcional e Reativo

Language: JavaScript - Size: 493 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0

fabianmurariu/ad4s

Type generic automatic differentiation library

Language: Scala - Size: 88.9 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

ymyzk/lambda-rti 📦

Interpreter of the ITGL with runtime type inference

Language: OCaml - Size: 192 KB - Last synced at: 12 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

akabe/ocaml-mecab

MeCab binding for OCaml

Language: OCaml - Size: 87.9 KB - Last synced at: 21 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 1

alissonfpmorais/AudioTest

Language: Kotlin - Size: 136 KB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 0

opflucker/NetCoreResults

Minimal Result Monad Implementation

Language: C# - Size: 62.5 KB - Last synced at: 13 days ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

Filipe-Samuel-p/Functional_programming Fork of andromeda-fie/elixar

Programação Funcional com Elixir! 💧

Language: Elixir - Size: 52.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

Lcaichihua/Springboot-aws-lambdas-function

Example lambdas function AWS Sprinboot Spring Web Spring Cloud Devtools Lombok

Language: Java - Size: 244 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Lcaichihua/ExampleFunctionalProgramming

Learn Functional Programming in java ,concepts, examples and patterns

Language: Java - Size: 7.81 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

vamo89/functional-tetris-js

Language: JavaScript - Size: 2.65 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Cezarj59/ITStep_17_JS_Interagindo_com_Array

Manipulação de Array

Language: HTML - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

Cezarj59/ITStep_12_JS_Jokenpo

Atividade ITStep Aula_12 módulo JS/ Desenvolvendo o jogo Jokenpô com JavaScript.

Language: JavaScript - Size: 401 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

AugustoEnzo/Python-for-Everybody

Python Specialization

Language: Python - Size: 1.46 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

hugomos/check-frequency-in-text

Script desenvolvido durante a formação "Python Web" da Alura com o instrutor @guilhermesilveira

Language: Python - Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

zoedsoupe/functional-playground

Trechos de explicações sobre programação funcional. Amém alonzo church

Language: JavaScript - Size: 1.95 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

catlettra/RE2NFA-Lisp

A Regular Expression to NFA Automata translator implemented in Common Lisp; done for the Programming Languages course [University of Milano-Bicocca]

Language: Common Lisp - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 1

leticiacamposs2/js-funcional

Fundamentos de Javascript Funcional by Cod3r

Language: JavaScript - Size: 926 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

sn0wfl4k3s/FSharpEstudos

Language: F# - Size: 14.6 KB - Last synced at: 9 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

herminiotorres/functional-programming-in-erlang

Only Exercises

Language: Erlang - Size: 5.86 KB - Last synced at: about 1 month ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 1

0xHericles/Criptoforca

Projeto da disciplina de PLP@UFCG (Paradigmas de Linguagens de Programação)

Language: Haskell - Size: 4.52 MB - Last synced at: 5 days ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

Bovojon/SpellChecker

Haskell Implementation of a SpellChecker

Language: Haskell - Size: 7.81 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

rodrigosetti/functional-programming-exercises

Haskell implementation of the exercises from the Book "Functional Programming in Scala (Chiusano, Bjarnason)"

Language: Haskell - Size: 3.91 KB - Last synced at: 23 days ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

mrxrsd/arpl

Lightweight C# library for functional error handling using Either and Result types. Type-safe, expressive, and designed for clean code.

Language: C# - Size: 15.6 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

MatheusADC/Gerenciador-de-Tarefas

O programa possibilita a coordenação das tarefas criadas bem como o monitoramento do status dessas atividades.

Language: Python - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

MatheusADC/Contact-List

This agenda aims to store information about a contact, such as their name, phone number, and email.

Language: Python - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

webermarci/fx

Language: Go - Size: 23.4 KB - Last synced at: about 2 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

D-Madev/Practica-Clojure

Studying Programming III with Prof. Master Diego Corsi, at the INSPT-UTN. During the first semester learning functional programming with Clojure. List of exercises. ----------- Cursando Programación III con el Prof. Master Diego Corsi, en el INSPT-UTN. Durante el primer semestre aprendiendo programación funcional con Clojure. Lista de ejercicios.

Language: Clojure - Size: 3.08 MB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

armanjes/JavaScript

JavaScript

Language: HTML - Size: 57.6 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

EullerHenrique/Programacao_Funcional__Java

:zap: Simples, didático e rápido :zap:

Language: Java - Size: 127 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

Levichu51/PP-Practicas-Teoria-23-24

Prácticas de la asignatura de Paradigmas de la Programación UDC 23/24

Language: OCaml - Size: 7.3 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

aflaag-notes/hs-homeworks

My Haskell homeworks.

Language: Haskell - Size: 16.7 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

HananeAitBenYachou/Math-Quiz-Game

This is a simple math quiz game implemented in C++. The program generates a set of math questions based on the user's preferences and allows the user to answer them. After answering all the questions, the program displays the final results.

Language: C++ - Size: 12.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

LucasMLago/EDL

This repository include a study realized in the discipline Lenguage Structure at University of the State of Rio de Janeiro.

Language: Haskell - Size: 61.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rdrigrs/AW_LIP1

Academic Work carried out as a requirement of the Programming Languages ​​1 discipline, at Universidade Federal do Ceará

Language: Kotlin - Size: 4.33 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

fixxxedpoint/hou

A type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type checking of formal systems defined by the lambda cube concept.

Language: Haskell - Size: 89.8 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

GabrielSilper/despesas-app

Baseado no Projeto TrybeWallet criado pela Trybe, decidi fazer esse projeto pra calcular minhas despesas e compatilhar com quem gostaria de usar.

Language: JavaScript - Size: 8.01 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

JoseGuilherme03/ByteBank

Projeto feito durante o curso de Kotlin

Language: Kotlin - Size: 39.1 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

VictorBenoiston/clothe-ecommerce

A ReactJS clothe e-commerce. Functional components and styled-components based.

Language: JavaScript - Size: 1.83 MB - Last synced at: 9 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

chicho69-cesar/conceptos-avanzados-csharp

Repositorio con proyectos donde uso y explico varios de los conceptos avanzados que se pueden usar en C#

Language: C# - Size: 678 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

staczack/recipes

Um aplicativo de receitas feito para uma experiência mobile

Language: JavaScript - Size: 1.72 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 2

BryanSOliveira/java-udemy

Aulas e exercícios do curso Java Completo Programação Orientada a Objetos + Projetos da Udemy.

Language: Java - Size: 89.8 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

jogadordabeira/HackerRank

Desafios de programação funcional / Functional programming challenges

Language: Haskell - Size: 79.1 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Natallegarcia/CalculoArea

Algoritimo executa a SOBRESCRITA de POO

Language: Java - Size: 3.91 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

audreyteles/Rust-learn

Code to study some Rust programming concepts from Alura's course.

Language: Rust - Size: 134 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

leocamachocr/java-features

This repository contains examples of java features

Language: Java - Size: 4.88 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

jaalonso/AFV

Algorítmica funcional verificada

Language: Isabelle - Size: 81.1 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

MateoMichini1/Pdep_ParcialFuncional

Parcial de la materia "Paradigmas de la programacion". El tema evaluado fue Paradigma Funcional.

Language: Haskell - Size: 14.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

sobakavosne/cpprimus

Gentle introduction to functional C++

Language: C++ - Size: 1000 Bytes - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

dalissongabriel/elixir_recursion_challenge01

Challenge 01 of the Elixir course. Usage of recursion.

Language: Elixir - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

blocen/hs_intro

Cardano playground

Language: Haskell - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 1

bananahell/trabalhoLP-Haskell

Trabalho da matéria de Linguagens de Programação, UnB - 2020/2

Language: Haskell - Size: 5.86 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

deyors/Haskell-2048-DEYORS-Spanish

El juego 2048 programado en Haskell, haciendo uso de la interfaz IO y otras implementaciones que mejoran la jugabilidad, como la opción de instrucciones y tener diferentes diseños.

Language: Haskell - Size: 26.4 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

ivanFlor3s/TP-Integrador-OBJETOS-

TP trabajado en la cursada de TADP 2018 (creo)

Language: Wollok - Size: 14.6 KB - Last synced at: 28 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

GuinaCosta/reactive-functional-style

project following the reactive functional style of implementing Spring WebFlux

Language: Java - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

LucasAsafe/Some_Haskell_Codes

Language: Haskell - Size: 541 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

Claudio-code/crud-of-functional-programming-with-elixir

The objective is to learn the main consequences of functional programming with its patterns in the elixir functional language.

Language: Elixir - Size: 3.91 KB - Last synced at: 16 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

GeovanaS/PF

Repositório destinado aos exercícios e trabalhos da disciplina de Programação Funcional

Language: Haskell - Size: 156 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

MaisaMilena/AgdaForBeginners

Examples to get some practice on functional programming and formal proofs

Language: Agda - Size: 70.3 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

imteekay/rekommender

Recommender System for profiles connections

Language: Clojure - Size: 29.3 KB - Last synced at: 1 day ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

Eudalio/programming-functional

Repositório criado para armazenar todas as atividades desenvolvidas durante a disciplina

Language: Haskell - Size: 3.3 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

thiagoematos/pokemon-java8

Demonstração de algumas das novas features do Java 8 usando Modelo 1-Treinador para N-Pokemons.

Language: Java - Size: 6.74 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

Endobalistic/Grupo-Sopa-Inglesa

Grupo de trabajos practicos para la materia Paradigmas de Programacion en la Universidad Tecnologica Nacional Facultad Regional Buenos Aires.

Language: Haskell - Size: 980 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1

thiagoematos/javascript-funcional-exercises

Exercícios de programação funcional com Javascript

Language: JavaScript - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

diogosalmeida/rxjs-study

Language: TypeScript - Size: 12.8 MB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

rahulsend89/MemoryGame

MemoryGame

Language: Swift - Size: 237 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

rafaelvicio/github-rxjs

Consulta de repositórios no GitHub. Projeto utilizado para aprendizado de RxJS(Programação Funcional)

Language: JavaScript - Size: 1000 Bytes - Last synced at: 20 days ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

AKATO/Functional-Programming-Principles-in-Scala

Language: Scala - Size: 461 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0