MaisaMilena

MyAnimeList

Simple sample of using the VIP (Clean Swift) architecture for iOS

job-applications-manager

Manage your job applications locally

ChatOnTerminal

Developed during the "Semana JS Expert" by Erick Wendell

Formality-Net-Animator

Animations for Elementary-Affine-Net interactions

hacktober22

Simple SwiftUI project for Hacktoberfest

learning-time

Compilado de coisas que estudo

telegram-math-quiz

FormalityCore-examples

See simple usage examples of if, dup, pair and tuples

type-check-server

Type check and run Kind-lang terms

Kind

A modern proof language

TaelinArena

A moddable MOBA in Formality

watch_Kind_repo

Watch changes in uwu-tech/Kind repo. Automatically pull master's updates, type check, and build modified Apps.

action-update-file

Update (i.e. commit and push) a given file on GitHub

fmc-check-type-javascript-action

Formality-Core

Specification of the Formality proof and programming language

Formality-image

Reads a directory or file and creates a Formality file for each image

Formality-vscode

Formality-Web-legacy

git-commit-push-via-github-api

Git commit and push by using GitHub API. No depended on Git binary.

kaelin

keystone

A scalable platform and CMS to build Node.js applications

linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

MaisaMilena

Moonad

Moonad: a p2p academic journal, or a social network for code?

PureState

The stupidest state management library that works.

pygments

Pygments is a generic syntax highlighter written in Python

swift-tagged

🏷 A wrapper type for safer, expressive code.

Telegram-iOS

Telegram-iOS

vscode-kind-syntax

VSCode syntax highlight for Kind language

WalletConnectSwiftV2

WalletConnect Swift SDK v2