8000 penguin-boxx (penguin-boxx) / Repositories · GitHub

Address: [go: up one dir, main page]

Include Form Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

More Web Proxy on the site http://driver.im/

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.

Appearance settings

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

penguin-boxx Follow

Overview Repositories 34 Projects 0 Packages 0 Stars 201

More

Overview
Repositories
Projects
Packages
Stars

penguin-boxx

Follow

Andrey Stoyan penguin-boxx

Follow

37 followers · 144 following

Saint Petersburg

Achievements

Achievements

Organizations

Block or report penguin-boxx

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 34 Projects 0 Packages 0 Stars 201

More

Overview
Repositories
Projects
Packages
Stars

8000

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All Shell TeX Java Kotlin Coq C++ OCaml Julia HTML Haskell Rust

Sort Last updated

Select order

Last updated Name Stars

manjaro-bootstrap Public

Shell Updated May 11, 2025
papers Public

TeX Updated Mar 30, 2025
loom-play Public

Java Updated Mar 12, 2025
learn-braille Public
Forked from braille-systems/learn-braille

Android application to teach Braille writing system. Inspired by stepik.org and Anki

Kotlin Apache License 2.0 Updated Aug 25, 2024
coq-supplementary Public
Forked from dboulytchev/coq-supplementary

A supplementary Coq workout repository

Coq Updated Mar 15, 2024
penguin-boxx.github.io Public

Kotlin Updated Jul 6, 2023
kotlin-self-types Public

Self types design for Kotlin language

TeX 2 Updated Jun 24, 2023
kotlin Public
Forked from JetBrains/kotlin

The Kotlin Programming Language.

Kotlin Updated Jun 3, 2023
archbench Public

Benchmarking java server architectures performance

Kotlin Updated May 14, 2023
truffle-lama Public
Forked from Soarex16/truffle-lama

Lama language implementation using the Truffle API.

Java Updated May 7, 2023
libsaferead Public
Forked from Soarex16/libsaferead

Simple utility library to read arbitrary address without program crash

C++ Updated Apr 28, 2023
compilers-supplementary Public
Forked from danyaberezun/compilers-supplementary

TeX Updated Jan 15, 2023
Lama Public
Forked from PLTools/Lama

OCaml GNU General Public License v3.0 Updated Jan 8, 2023
nanoparsek Public

Simple parser combinators on Kotlin.

Kotlin Updated Dec 25, 2022
DT2022 Public
Forked from valis/DT2022

Dependent types 2022

Updated Dec 5, 2022
kotlin-spec Public
Forked from Kotlin/kotlin-spec

Kotlin Language Specification

Kotlin Apache License 2.0 Updated Oct 19, 2022
KEEP Public
Forked from Kotlin/KEEP

Kotlin Evolution and Enhancement Process

Updated Jul 5, 2022
Nebash Public

Simple bash clone

Kotlin 1 Updated Jun 28, 2022
RoliK Public

Simple ROgueLIke game engine for Kotlin

Kotlin Updated Jun 28, 2022
dataforge-core Public
Forked from SciProgCentre/dataforge-core

A clean multi-platform re-implementation of dataforge concepts

Kotlin Updated Jun 4, 2022
LambdaRPC.kt Public

Simple native RPC with high-order functions support

rpc rpc-library

Kotlin 5 Updated May 20, 2022
Shlang Public

Simple healthy programming language

Kotlin Updated May 9, 2022
StudyCenter Public

Service that makes educational comunication easier

Updated May 3, 2022
bash Public
Forked from borisPristupa/bash

Kotlin Updated Apr 11, 2022
ConstInspection Public

Same inspection message for all opened project files

intellij-plugin

Kotlin Updated Feb 14, 2022
LambdaRPC.jl Public

Simple native RPC with high order functions support

Julia Updated Feb 1, 2022
Diary Public

All your work is what you write. Everything you write is your Diary

Kotlin 2 Updated Dec 8, 2021
communicator Public
Forked from SciProgCentre/communicator

Polyglot and distributed scientific function call library

Kotlin Updated Aug 24, 2021
csclub-coq-course-spring-2021 Public
Forked from anton-trunov/csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru/en, Spring term 2021

HTML Updated May 25, 2021
LRP-2021 Public
Forked from dboulytchev/LRP-2021

A supplementary repository for the course on logic and relational programming

Haskell Updated Mar 31, 2021

Previous Next

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.

0