Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

VictorTaelin Follow

Overview Repositories 238 Projects 0 Packages 0 Stars 685 Sponsoring 0

Overview
Repositories
Projects
Packages
Stars
Sponsoring

VictorTaelin

Victor Taelin VictorTaelin

Functional-programming enthusiast, author of Kind and HVM.

3.7k followers · 22 following

Higher Order Company
Rio de Janeiro, Brazil
@VictorTaelin

Achievements

Highlights

Organizations

Block or report VictorTaelin

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.

Add an optional note:

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

Overview Repositories 238 Projects 0 Packages 0 Stars 685 Sponsoring 0

Overview
Repositories
Projects
Packages
Stars
Sponsoring

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All JavaScript Vim Script Haskell TypeScript Rust Python C Cuda Yacc Jupyter Notebook HTML PureScript CSS Lean C++

Sort Last updated

Select order

Last updated Name Stars

VictorTaelin Public

4 Updated Jan 13, 2025
AI-scripts Public

Some handy AI scripts

JavaScript 594 52 Updated Jan 9, 2025
OSX Public

Vim Script 6 1 Updated Jan 2, 2025
HVM3 Public

HVM3

2 Updated Nov 6, 2024
taemoba Public

13 1 Updated Oct 29, 2024
reasoning_evals Public

my reasoning evals

JavaScript 10 Updated Sep 14, 2024
optimal_evaluation_examples Public

optimal evaluation examples (DUP nodes, SUP nodes)

Haskell 9 Updated Sep 10, 2024
agda-cli Public
Forked from Lorenzobattistela/agda-check

Check agda commands from your terminal

JavaScript 4 1 Updated Sep 10, 2024
interaction-calculus-of-constructions Public

A minimal proof checker.

TypeScript 69 3 Updated Sep 9, 2024
tsbook Public

TypeScript 2 Updated Aug 16, 2024
uwuchat2_demo Public

UwUChat2 demo game

TypeScript 5 1 Updated Jul 31, 2024
rust_highlight_error Public

kdjfakjf

Rust 3 Updated Jul 26, 2024
uwuchat2 Public

Updated Jul 24, 2024
uwuchat Public

chat based messaging and rollback state computer

JavaScript 4 2 Updated Jul 23, 2024
Interaction-Calculus Public

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Rust 783 55 MIT License Updated Jul 22, 2024
viano Public

viano

JavaScript 14 Updated Jul 14, 2024
matmulfreellm Public
Forked from ridgerchu/matmulfreellm

Implementation for MatMul-free LM.

Python 4 Apache License 2.0 Updated Jun 9, 2024
media Public

3 Updated May 17, 2024
AIEMU Public

Simple AI-based (Claude-3) game emulator

JavaScript 46 1 Updated May 14, 2024
ChatSH Public

Chat with GPT from the terminal, with the ability to execute shell scripts.

JavaScript 91 5 MIT License Updated Apr 15, 2024
ab_challenge_eval Public

Evaluator for the A::B Prompting Challenge

JavaScript 26 3 Updated Apr 10, 2024
clevergpt Public
Forked from reissbaker/clevergpt

Training GPTs to solve interaction nets

TypeScript 1 Updated Apr 6, 2024
manifold-sudoku Public

Python 1 1 Updated Mar 4, 2024
TSPL Public

The Simplest Parser Library that works in Rust

Updated Feb 23, 2024
Interaction-Type-Theory Public

Rust 116 6 MIT License Updated Feb 1, 2024
Taelang Public

my personal lang

TypeScript 15 Updated Dec 31, 2023
talks Public

C 4 Updated Nov 25, 2023
telegram-math-quiz Public
Forked from MaisaMilena/telegram-math-quiz

JavaScript MIT License Updated Oct 11, 2023
rinha-de-compiler Public
Forked from aripiprazole/rinha-de-compiler

🥖 | Rinha de compiladores (ou interpretadores kkkk

Rust 1 Updated Sep 22, 2023
rinhavm-wip Public
Forked from HigherOrderCO/hvm-64

rinhosidades

Rust 1 Updated Sep 21, 2023

Previous Next

Footer

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.

Victor Taelin VictorTaelin

Achievements

Achievements

Highlights

Organizations

VictorTaelin Public

AI-scripts Public

OSX Public

HVM3 Public

taemoba Public

reasoning_evals Public

optimal_evaluation_examples Public

agda-cli Public

interaction-calculus-of-constructions Public

tsbook Public

uwuchat2_demo Public

rust_highlight_error Public

uwuchat2 Public

uwuchat Public

Interaction-Calculus Public

viano Public

matmulfreellm Public

media Public

AIEMU Public

ChatSH Public

ab_challenge_eval Public

clevergpt Public

manifold-sudoku Public

TSPL Public

Interaction-Type-Theory Public

Taelang Public

talks Public

telegram-math-quiz Public

rinha-de-compiler Public

rinhavm-wip Public