Skip to content
View ararunaufc's full-sized avatar
  • Universidade Federal do Ceará
  • Quixadá, Ceará, Brasil.

Highlights

  • Pro

Block or report ararunaufc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Simple, small, and extremely fast template engine for Rust

Rust 833 56 Updated Oct 8, 2024

Valitron is a rust validation, support ergonomics, functional and configurable

Rust 60 3 Updated Dec 12, 2024

Fake data generator library with 130+ functions written in Rust

Rust 159 9 Updated Jan 2, 2025

A 21st century LaTeX wrapper

Python 623 64 Updated Apr 28, 2024

A fast, lightweight, embedded system-friendly library for wrapping text.

Rust 64 3 Updated Feb 17, 2024

A minimalistic cross-platform eBook reader built with Tauri, Epub.js, and Typescript

TypeScript 2,212 50 Updated Dec 21, 2024

A Rust implementation of OpenAI's Whisper model using the burn framework

Rust 278 35 Updated May 6, 2024

Port of OpenAI's Whisper model in C/C++

C++ 36,680 3,765 Updated Jan 3, 2025

Robust Speech Recognition via Large-Scale Weak Supervision

Python 73,704 8,809 Updated Dec 1, 2024

Papers from the computer science community to read and discuss.

Shell 89,677 5,795 Updated Nov 8, 2024

Quill is a modern WYSIWYG editor built for compatibility and extensibility

TypeScript 44,241 3,426 Updated Nov 30, 2024

A computer science textbook

Jupyter Notebook 3,677 350 Updated Aug 11, 2024

A no-nonsense CAPTCHA system with seamless UX | Backend component

Rust 1,753 73 Updated Dec 30, 2024

A framework for writing plugins that integrate with the Rust compiler

Rust 135 16 Updated Dec 16, 2024
2 Updated Feb 14, 2023

A command-line benchmarking tool

Rust 23,468 378 Updated Jan 1, 2025

Solving i18n for client-side and resource-constrained environments.

Rust 1,400 183 Updated Jan 2, 2025

Painless string scanning.

Rust 46 6 Updated Nov 4, 2024

Rusty bibliography management.

Rust 370 58 Updated Dec 18, 2024

physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.

Typst 378 12 Updated Dec 16, 2024

A new markup-based typesetting system that is powerful and easy to learn.

Rust 36,442 981 Updated Dec 20, 2024

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Coq 811 13 Updated Apr 1, 2024

LeanQt is a stripped-down Qt version easy to build from source and to integrate with an application.

C++ 589 21 Updated Aug 5, 2024

LeanCreator is a stripped-down version of Qt Creator, easy to build from source on all platforms supported by LeanQt and using BUSY instead of qmake.

C++ 127 3 Updated Sep 21, 2023

Heap profiling and ad hoc profiling for Rust programs.

Rust 758 39 Updated Aug 3, 2024

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Rust 23,221 1,640 Updated Jan 3, 2025

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

C 4,023 164 Updated Nov 14, 2024

Understand and manipulate TeX files with ease

Rust 27 1 Updated Jun 10, 2024

Easily synchronize your settings

TypeScript 150 12 Updated Mar 17, 2023

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

TypeScript 33,442 1,003 Updated Jan 1, 2025
Next