artimath Goto Github PK

aave-liquidator

ai-scripts

Some handy AI scripts

algebra-driven-design

Where I will track my efforts studying Algebra Driven Design.

api_micro

ax_lang

Dependently typed reasoning system for the highly parallel future.

be-elixir-challenge

Backend/Fullstack Engineer Hiring Challenge - Elixir

bsc-snapshots

certainty-by-construction

complete-intro-to-react-v6

learn React.js with Brian Holt

devcontainer-templates

elixir-ls

A frontend-independent IDE "smartness" server for Elixir. Implements the "Language Server Protocol" standard and provides debugger support via the "Debug Adapter Protocol"

enchanted

Enchanted is iOS and macOS app for chatting with private self hosted language models such as Llama2, Mistral or Vicuna using Ollama.

go-opera

Opera blockchain protocol secured by the Lachesis consensus algorithm

haskell_road_to_logic_and_math

This is a repo where I will record my progress following along the book Haskell Road to Math, Logic and Programming.

hello-world

ironlab

l1b3rt45

JAILBREAK PROMPTS FOR ALL MAJOR AI MODELS

lavina-ai

linear-comment

linear-comment

majestic-shorts-fullstack

Majestic Shorts Full Stack App to Create Short form content like YouTube short or TikToks

mirage-financial

next-cutting-edge

💼 An enterprise-grade Next.js boilerplate for high-performance, maintainable apps. Packed with features like Tailwind CSS, TypeScript, ESLint, Prettier, testing tools, and more to accelerate your development.

omniplanfocussync

Mirror OmniPlan tasks in OmniFocus and sync details and completion.

patchwork

All the Git-it Workshop completers!

postgres-flex-age

Postgres HA setup using repmgr

rust-cli

superset

Apache Superset is a Data Visualization and Data Exploration Platform

test_edgedb

A test repo to demonstrate error with edgeDB-elixir

tictactoe

A TicTacToe game written in Python.

twenty

Building a modern alternative to Salesforce, powered by the community.