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 834 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,214 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,710 3,768 Updated Jan 4, 2025

Robust Speech Recognition via Large-Scale Weak Supervision

Python 73,796 8,821 Updated Jan 4, 2025

Papers from the computer science community to read and discuss.

Shell 89,745 5,801 Updated Nov 8, 2024

Quill is a modern WYSIWYG editor built for compatibility and extensibility

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

A computer science textbook

Jupyter Notebook 3,686 350 Updated Aug 11, 2024

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

Rust 1,755 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,483 378 Updated Jan 4, 2025

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

Rust 1,401 183 Updated Jan 2, 2025

Painless string scanning.

Rust 50 6 Updated Nov 4, 2024

Rusty bibliography management.

Rust 371 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,483 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++ 590 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++ 128 3 Updated Sep 21, 2023

Heap profiling and ad hoc profiling for Rust programs.

Rust 757 39 Updated Aug 3, 2024

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

Rust 23,245 1,643 Updated Jan 4, 2025

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

C 4,025 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,464 1,003 Updated Jan 4, 2025
Next