Pinned Repositories
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
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.
ironlab
mirage-financial
yeetabl
artimath's Repositories
artimath/ax_lang
Dependently typed reasoning system for the highly parallel future.
artimath/AI-scripts
Some handy AI scripts
artimath/algebra-driven-design
Where I will track my efforts studying Algebra Driven Design.
artimath/be-elixir-challenge
Backend/Fullstack Engineer Hiring Challenge - Elixir
artimath/bsc-snapshots
artimath/complete-intro-to-react-v6
learn React.js with Brian Holt
artimath/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"
artimath/go-opera
Opera blockchain protocol secured by the Lachesis consensus algorithm
artimath/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.
artimath/ironlab
artimath/linear-comment
linear-comment
artimath/mirage-financial
artimath/rust-cli
artimath/test_edgedb
A test repo to demonstrate error with edgeDB-elixir
artimath/yeetabl
artimath/certainty-by-construction
artimath/devcontainer-templates
artimath/enchanted
Enchanted is iOS and macOS app for chatting with private self hosted language models such as Llama2, Mistral or Vicuna using Ollama.
artimath/kickstart.nvim
A launch point for your personal nvim configuration
artimath/L1B3RT45
JAILBREAK PROMPTS FOR ALL MAJOR AI MODELS
artimath/lambdaconf-2018-workshop
LambdaConf 2018 workshop on building Telegram bots in Haskell.
artimath/lavina-ai
artimath/majestic-shorts-fullstack
Majestic Shorts Full Stack App to Create Short form content like YouTube short or TikToks
artimath/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.
artimath/postgres-flex-age
Postgres HA setup using repmgr
artimath/router
🤖 Fully typesafe Router for React (and friends) w/ built-in caching, 1st class search-param APIs, client-side cache integration and isomorphic rendering.
artimath/superset
Apache Superset is a Data Visualization and Data Exploration Platform
artimath/todoist-clone-todovex
An Open Source AI-Powered Todoist Clone
artimath/twenty
Building a modern alternative to Salesforce, powered by the community.
artimath/ui
Beautifully designed components that you can copy and paste into your apps. Accessible. Customizable. Open Source.