Citation Extraction & Reference Checking Assistant

Faster Whisper transcription with CTranslate2

Self contained cluster

Final Work to Introduction functional programimg in UTFPR - PPGCA

A elixir implementation of tar 💐

my own forth implemetation

Calculator CltVsPJ for a ICFP.

Análisis matemático en Lean 4.

🛰️ Open Platform for Real-Time Environmental Monitoring

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

A Gleam web framework for building HTML templates, single page applications, and real-time server components.

A framework for writing terminal user interfaces in Elixir

Compilador Geral Delégua

A complete IoT example using Elixir, Phoenix LiveView, and Raspberry Pi.

Linguagem de programação em português, simples e moderna

A numerical integrator written in Elixir for the solution of sets of non-stiff ordinary differential equations (ODEs).

API criada no canal DEPLOY para fins de estudo

a busybox/LFS-based distro

This project is a part of my Master's degree

implement a simply dependent typed lambda calculus with ocaml

Boolean algebra library in Elixir

Repositório com material suplementar do livro Engenharia de Software Moderna

Qualitative data analysis for text, images, audio, video. Cross platform. Python 3.10 or newer and PyQt6.

A compiler for a relational programming language for the BEAM written in OCaml

Módulo da Aplicação Web