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

aripiprazole Follow

Overview Repositories 105 Projects 0 Packages 0 Stars 1.1k Sponsoring 0

More

Overview
Repositories
Projects
Packages
Stars
Sponsoring

aripiprazole

Follow

🎯

Focusing

gabrielle oliveira aripiprazole

🎯

Focusing

Follow

atypical antipsychotic (as a software engineer)

1.1k followers · 208 following

são pauo, brasil
00:24 (UTC -03:00)
gabx.io
https://orcid.org/0009-0005-9600-7155
@io_gabx
io.gabx
in/gabrielle-guimaraes-oliveira
@aripiprazole.dev

Achievements

Achievements

Highlights

Pro

Organizations

Block or report aripiprazole

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 105 Projects 0 Packages 0 Stars 1.1k Sponsoring 0

More

Overview
Repositories
Projects
Packages
Stars
Sponsoring

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All Rust OCaml Elixir Kotlin TypeScript C HTML CSS Clojure Lean Python C++ Go Emacs Lisp Shell Java PHP Fennel JavaScript C# Dart Haskell Lua ReScript

Sort Last updated

Select order

Last updated Name Stars

aripiprazole Public

👤 | My profile repository

readme profile profile-readme

4 Updated Nov 8, 2024
infer-mli Public

🐫 | OCaml .mli generator

Rust 1 MIT License Updated Oct 5, 2024
zed Public
Forked from zed-industries/zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Rust 2 Other Updated Oct 4, 2024
tinyml Public

Rust 1 Updated Oct 3, 2024
bupropion Public

❤️ | Fancy diagnostics for Miette

rust error-handling text-editors

Rust 14 MIT License Updated Oct 3, 2024
dia Public

OCaml Updated Sep 24, 2024
bend-language-server Public
Forked from HigherOrderCO/bend-language-server

Language server for the Bend programming language

Rust MIT License Updated Sep 22, 2024
zed-bend Public
Forked from mrpedrobraga/zed-bend

Zed support for the bend programming language.

Rust MIT License Updated Sep 22, 2024
db Public

Elixir 1 Updated Sep 19, 2024
kotlin-pl-template Public

🪧 | Kotlin programming language project template

Kotlin Apache License 2.0 Updated Sep 4, 2024
vscode-jetbrains-icon-theme Public
Forked from cadamsdev/vscode-jetbrains-icon-theme

🏵️ | Icon theme for Visual Studio Code using official JetBrains product icons

TypeScript Other Updated Aug 26, 2024
ticoteco Public

📱| Tiktok web clone

javascript graphql relay node typescript yarn yarn-workspaces

TypeScript 23 1 GNU General Public License v3.0 Updated Jun 13, 2024
sol Public

🥺 | Sol theorem prover

C 8 MIT License Updated May 30, 2024
forever Public

⬛ | Forever enigma website

HTML Updated Apr 4, 2024
lura Public

🍞 | IDE focused programming language study

programming-language rust type-theory crate lsp

C 32 1 MIT License Updated Mar 4, 2024
gabx.io Public

📜 | My personal website

react blog web frontend nextjs next

TypeScript 8 GNU General Public License v3.0 Updated Jan 28, 2024
soft Public

🧪 | Lisp with REPL and macros which will compile itself

lisp llvm incremental

Rust 13 2 Updated Jan 15, 2024
clj-extras-plugin Public
Forked from brcosta/clj-extras-plugin

Clojure Extras IntelliJ Plugin

Kotlin 1 Apache License 2.0 Updated Dec 13, 2023
hvm-core Public
Forked from HigherOrderCO/hvm-64

Rust 2 Updated Dec 8, 2023
tree-sitter-lura Public archive

🍞 | Tree sitter grammar for Lura programming language

C 1 Updated Oct 28, 2023
zu Public

🧪 | Zu Theorem Prover

rust dependent-types interpreter compiler type-theory

Rust 3 Updated Oct 18, 2023
rigid Public

🪨 | Rigid lisp. The inverse of soft

Rust 1 MIT License Updated Oct 18, 2023
zure Public

🧪 | Zure is the remake of Zu but without rigid and unstable types

rust dependent-types js compiler llvm jit type-theory

Rust 1 Updated Oct 18, 2023
gaboxadol Public archive

🧪 | Simple code editor with vite

CSS Updated Oct 8, 2023
aripiprazole.dev-fulcro Public archive

🧪 | Fulcro rewrite of my website

Clojure MIT License Updated Oct 5, 2023
rinha-de-compiler Public archive

🥖 | Rinha de compiladores (ou interpretadores kkkk

rust rinha rinha-de-compilers

Rust 924 221 Updated Oct 4, 2023
NeoHaskell Public
Forked from neohaskell/NeoHaskell

⏩ | NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

Apache License 2.0 Updated Sep 24, 2023
rinha Public

🧪 | Rinha de Backend Lean4

pgsql formal-proofs lean4 rinha-de-backend-2023-q3

Lean 64 3 Updated Sep 12, 2023
ash Public
Forked from algebraic-dev/ash

🪵 | Incomplete Express like library

Lean Updated Sep 12, 2023
melp Public
Forked from algebraic-dev/melp

🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends

Lean Updated Sep 12, 2023

Previous Next

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.