Pinned Repositories
advent-of-code
Advent of Code
alpha-zero-general-sogo
AI Playground for the game of Sogo, inspired by the Alpha Go Zero algorithm.
azure-function-flask-terraform
Minimal flask application on azure functions with terraform support
chrome-extension-aws-cognito
cpachecker
CPAchecker with Information Flow Analysis
docker-latex-pygments
Latex docker with pygments
kizdar
Minimal push notification service via GCM.
latin-online
Online vocabulary trainer
ltl2aut
Model Checking LTL in Scala
sogo
Javascript implementation of the game Sogo (3D Connect Four) plus AI.
bnord01's Repositories
bnord01/kizdar
Minimal push notification service via GCM.
bnord01/advent-of-code
Advent of Code
bnord01/alpha-zero-general-sogo
AI Playground for the game of Sogo, inspired by the Alpha Go Zero algorithm.
bnord01/azure-function-flask-terraform
Minimal flask application on azure functions with terraform support
bnord01/chrome-extension-aws-cognito
bnord01/cpachecker
CPAchecker with Information Flow Analysis
bnord01/docker-latex-pygments
Latex docker with pygments
bnord01/latin-online
Online vocabulary trainer
bnord01/ltl2aut
Model Checking LTL in Scala
bnord01/sogo
Javascript implementation of the game Sogo (3D Connect Four) plus AI.
bnord01/docker-latex-pygments-inkscape
Docker Container for LaTeX Builds Including Pygments and Inkscape
bnord01/DroidForce
DroidForce Project Repository. See our ARES'2014 paper for the details on DroidForce.
bnord01/frb-callback-ui-slow-mwe
Just a MWE to demonstrate a thing
bnord01/heroku-buildpack-scala
Heroku buildpack: Scala
bnord01/latex-docker
LaTeX Docker
bnord01/LibreChat
Enhanced ChatGPT Clone: Features OpenAI, Assistants API, Azure, Groq, GPT-4 Vision, Mistral, Bing, Anthropic, OpenRouter, Vertex AI, Gemini, AI model switching, message search, langchain, DALL-E-3, ChatGPT Plugins, OpenAI Functions, Secure Multi-User System, Presets, completely open-source for self-hosting. More features in development
bnord01/librechat_rag_api
ID-based RAG FastAPI: Integration with Langchain and PostgreSQL/pgvector
bnord01/mobileorg-android
An implementation of MobileOrg for the Android platform
bnord01/sdpn
A Dynamic Pushdown Network Analysis Library
bnord01/spring-boot-scala
An example project on how to use Scala with Spring Boot for creating a microservice, runnable with Docker and managed by SBT
bnord01/tomorrow-theme
Tomorrow Theme