Skip to content

Navigation Menu

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...

Search

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

Taneb Follow

Overview Repositories 125 Projects 0 Packages 0 Stars 75

More

Overview
Repositories
Projects
Packages
Stars

Taneb

Follow

Nathan van Doorn Taneb

Follow

72 followers · 55 following

Reggio Emilia, Italy
@ngevd
https://hacksrus.xyz/Taneb

Achievements

Achievements

Organizations

Block or report Taneb

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 125 Projects 0 Packages 0 Stars 75

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All Agda Nix Haskell Makefile TeX Perl Rust HTML Jupyter Notebook C++ Python PureBasic Objective-C++ Elm C Java Lua PHP JavaScript

Sort Last updated

Select order

Last updated Name Stars

agda-stdlib Public
Forked from agda/agda-stdlib

The Agda standard library

Agda Other Updated Jan 21, 2025
agda-categories Public
Forked from agda/agda-categories

A new Categories library

Agda MIT License Updated Nov 7, 2024
nixpkgs Public
Forked from NixOS/nixpkgs

Nix Packages collection

Nix Other Updated Jun 17, 2024
1lab Public
Forked from the1lab/1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Agda GNU Affero General Public License v3.0 Updated Sep 27, 2023
primes Public

Properties of prime numbers in Agda

Agda 1 Updated Apr 9, 2023
home-manager Public
Forked from nix-community/home-manager

Manage a user environment using Nix [maintainer=@rycee]

Nix MIT License Updated Feb 8, 2023
conduit Public
Forked from snoyberg/conduit

A streaming data library

Haskell Updated Oct 11, 2022
exdetyprolan Public

Experminental dependently typed programming language

Haskell Updated Aug 23, 2022
denotational-arithmetic-zurihac Public
Forked from isovector/denotational-arithmetic-zurihac

Agda Updated Jun 12, 2022
groups Public

Group and Abelian group typeclasses

Haskell 10 6 Other Updated Jun 8, 2022
agda-unimath Public
Forked from UniMath/agda-unimath

Univalent mathematics in Agda

Makefile Updated Mar 16, 2022
aoc2021 Public

My solutions to the 2021 advent of code

Haskell Updated Dec 15, 2021
regex Public

Regular expressions and finite state automata in Agda

Agda 1 Updated Nov 29, 2021
reals Public

Implementation of Cauchy real numbers in Agda

Agda Updated Oct 24, 2021
claude Public
Forked from Planet-Factory/legacy-claude

The CLAuDE model

TeX MIT License Updated Oct 10, 2021
domain-driven Public
Forked from tommyengstrom/domaindriven

Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 11, 2021
hydra Public
Forked from NixOS/hydra

Hydra, the Nix-based continuous build system

Perl GNU General Public License v3.0 Updated Jul 5, 2021
zombiesplit Public
Forked from ashikun/zombiesplit

perhaps, eventually, an IGT split tracker

Rust MIT License Updated Jun 3, 2021
hacksoc.org Public
Forked from HackSoc/hacksoc.org

HackSoc website

HTML Updated Apr 29, 2021
matrices Public

Matrices in Agda!

Agda Updated Apr 5, 2021
lens Public
Forked from ekmett/lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

Haskell Other Updated Jan 6, 2021
agda-numbertheory Public

Agda Updated Dec 28, 2020
lenstalk Public

Notebooks from a series of talks on the `lens` library

Jupyter Notebook Updated Dec 4, 2020
aoc2020 Public

Haskell 1 Updated Dec 3, 2020
antlion Public

Agda Number Theory Library (Is Only the Name)

Agda 1 MIT License Updated Oct 18, 2020
categories-examples Public
Forked from agda/categories-examples

Examples of categorical structures

Agda MIT License Updated Oct 15, 2020
project-euler Public

Project Euler solutions in Agda

Agda 6 MIT License Updated Sep 13, 2020
raytracer Public

Ray-tracer in Haskell. Based on Ray Tracing on One Weekend but vector-space agnostic

Haskell 1 2 Updated Jul 31, 2020
servant-uverb Public
Forked from haskell-servant/servant-uverb

Multiple response statuses and bodies per route for servant.

Haskell Updated Jun 15, 2020
servant Public
Forked from haskell-servant/servant

Main repository for the servant libraries -- DSL for describing, serving, querying, mocking, documenting web applications and more!

Haskell Updated Jun 13, 2020

Previous Next

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.