Specification of the Formality proof and programming language
-
Updated
Feb 5, 2023 - JavaScript
Specification of the Formality proof and programming language
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Um aplicativo de receitas feito para uma experiência mobile
Uma lista com conteúdos sobre F# em Língua Portuguesa
MeCab binding for OCaml
Grupo de trabajos practicos para la materia Paradigmas de Programacion en la Universidad Tecnologica Nacional Facultad Regional Buenos Aires.
A Regular Expression to NFA Automata translator implemented in Common Lisp; done for the Programming Languages course [University of Milano-Bicocca]
Don't repeat yourself (DRY) in shell
Projeto da disciplina de PLP@UFCG (Paradigmas de Linguagens de Programação)
Type generic automatic differentiation library
📓 Conceitos de programação funcional utilizando a linguagem Javascript.
Open-source Functional Programming Language
The objective is to learn the main consequences of functional programming with its patterns in the elixir functional language.
Python Specialization
TP trabajado en la cursada de TADP 2018 (creo)
Interpreter of the ITGL with runtime type inference
A JavaScript function wrapper to memorize / cache result with the same input
Recommender System for profiles connections
Add a description, image, and links to the funcional-programming topic page so that developers can more easily learn about it.
To associate your repository with the funcional-programming topic, visit your repo's landing page and select "manage topics."