Skip to content

@tetrafolium tetrafolium

Change the repository type filter

All

    Repositories list

    377 repositories

    • meta-openembedded

      Public
      BitBake
      •
      MIT License
      •767•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • repo-manifest

      Public
      Manifest used by the repo tool to retrieve all the needed sources (see yocto-bsp project)
      Apache License 2.0
      •6•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • sel4test-manifest

      Public
      Project to build and test seL4 for many different platforms
      43•0•0•0•Updated Jun 25, 2025Jun 25, 2025

    • sql-lint

      Public
      An SQL linter
      TypeScript
      •
      MIT License
      •42•0•0•0•Updated Jun 24, 2025Jun 24, 2025

    • nanopb

      Public
      Protocol Buffers with small code size
      C
      •
      zlib License
      •925•0•0•0•Updated Jun 21, 2025Jun 21, 2025

    • algebird

      Public
      Abstract Algebra for Scala
      Scala
      •
      Apache License 2.0
      •346•0•0•0•Updated May 30, 2025May 30, 2025

    • rslib

      Public
      Create JavaScript libraries in a simple and intuitive way.
      TypeScript
      •
      MIT License
      •56•0•0•0•Updated May 16, 2025May 16, 2025

    • codex

      Public
      Lightweight coding agent that runs in your terminal
      TypeScript
      •
      Apache License 2.0
      •3.4k•0•0•0•Updated May 16, 2025May 16, 2025

    • anko

      Public
      clone from https://github.com/Kotlin/anko
      Kotlin
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 21, 2025Apr 21, 2025

    • circt

      Public
      Circuit IR Compilers and Tools
      C++
      •
      Other
      •347•0•0•0•Updated Mar 5, 2025Mar 5, 2025

    • llvm-project

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
      C++
      •14k•0•0•0•Updated Mar 3, 2025Mar 3, 2025

    • coreutils

      Public
      upstream mirror
      C
      •
      GNU General Public License v3.0
      •967•0•0•0•Updated Feb 28, 2025Feb 28, 2025

    • scikit-learn

      Public
      scikit-learn: machine learning in Python
      Python
      •
      Other
      •26k•0•0•0•Updated Feb 28, 2025Feb 28, 2025

    • tensorflow

      Public
      An Open Source Machine Learning Framework for Everyone
      C++
      •
      Apache License 2.0
      •75k•0•0•0•Updated Feb 27, 2025Feb 27, 2025

    • oss-fuzz

      Public
      OSS-Fuzz - continuous fuzzing of open source software
      Shell
      •
      Apache License 2.0
      •2.4k•0•0•0•Updated Feb 27, 2025Feb 27, 2025

    • GameNetworkingSockets

      Public
      Reliable & unreliable messages over UDP. Robust message fragmentation & reassembly. P2P networking / NAT traversal. Encryption.
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •661•0•0•0•Updated Feb 27, 2025Feb 27, 2025

    • numpy

      Public
      Numpy main repository
      C
      •
      Other
      •11k•0•0•0•Updated Feb 9, 2025Feb 9, 2025

    • babel

      Public
      🐠 Babel is a compiler for writing next generation JavaScript.
      JavaScript
      •
      MIT License
      •5.7k•0•0•0•Updated Feb 9, 2025Feb 9, 2025

    • CotEditor

      Public
      Swift
      •
      Other
      •2•2•0•0•Updated Dec 23, 2024Dec 23, 2024

    • scalafmt

      Public
      clone from https://github.com/scalameta/scalafmt
      Scala
      •
      Apache License 2.0
      •0•0•0•1•Updated Sep 3, 2024Sep 3, 2024

    • Anki-Android

      Public
      AnkiDroid: Anki flashcards on Android. Your secret trick to achieve superhuman information retention.
      Kotlin
      •
      GNU General Public License v3.0
      •2.5k•0•0•0•Updated Feb 6, 2024Feb 6, 2024

    • docker

      Public
      Docker - the open-source application container engine
      Go
      •
      Apache License 2.0
      •19k•0•0•0•Updated Jan 24, 2024Jan 24, 2024

    • infercode

      Public
      [ICSE 2021] - InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees
      Python
      •23•0•0•0•Updated Dec 4, 2023Dec 4, 2023

    • koa

      Public
      Expressive middleware for node.js using generators
      JavaScript
      •
      MIT License
      •3.2k•0•0•0•Updated Nov 17, 2023Nov 17, 2023

    • pixelwheels

      Public
      import from https://github.com/agateau/pixelwheels
      Java
      •
      Other
      •0•0•0•1•Updated Oct 3, 2023Oct 3, 2023

    • minisentinel

      Public
      Pure Go Redis Sentinel server for Go unittests
      Go
      •
      Other
      •11•0•0•0•Updated May 23, 2023May 23, 2023

    • miniredis

      Public
      Pure Go Redis server for Go unittests
      Go
      •
      MIT License
      •230•0•0•0•Updated May 10, 2023May 10, 2023

    • radix

      Public
      Redis client for Go
      Go
      •
      MIT License
      •113•0•0•0•Updated May 10, 2023May 10, 2023

    • go

      Public
      The Go programming language
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •18k•0•0•0•Updated Mar 8, 2023Mar 8, 2023

    • SwiftLint

      Public
      Swift
      •
      MIT License
      •0•0•0•6•Updated Jan 25, 2023Jan 25, 2023