krasi0

krasi0's Stars

• opendilab/DI-star

  An artificial intelligence platform for the StarCraft II with large-scale distributed training and grand-master agents.

  Language:Python1.2k114

• Jigsaw-Code/Intra

  An experimental tool that allows you to test new DNS-over-HTTPS services on Android

  Language:Java1.5k260

• EricZinda/swiplserver

  Python library for using SWI Prolog

  Language:Python23

• kamahen/swipl-server-js-client

  Sample SWI-Prolog server with JavaScript client

  Language:JavaScript12

• adsharma/fquery

  A graph query engine

  Language:Python10

• netbirdio/netbird

  Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.

  Language:Go10.5k472

• stassa/louise

  Polynomial-time Meta-Interpretive Learning

  Language:Prolog967

• rastapasta/mapscii

  🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows

  Language:JavaScript7.7k250

• flashlight/flashlight

  A C++ standalone library for machine learning

  Language:C++5.2k495

• DualCoder/vgpu_unlock

  Unlock vGPU functionality for consumer grade GPUs.

  Language:C4.5k423

• nschneid/amr-tutorial

  Abstract Meaning Representation (AMR) tutorial slides

  Language:TeX11514

• anderspitman/awesome-tunneling

  List of ngrok/Cloudflare Tunnel alternatives and other tunneling software and services. Focus on self-hosting.

  15k734

• mattsouth/dprolog

  defeasible prolog

  Language:JavaScript51

• VerbalExpressions/JSVerbalExpressions

  JavaScript Regular expressions made easy

  Language:JavaScript12.2k505

• justjake/quickjs-emscripten

  Safely execute untrusted Javascript in your Javascript, and execute synchronous code that uses async functions

  Language:TypeScript1.3k94

• denoland/deno

  A modern runtime for JavaScript and TypeScript.

  Language:Rust93.9k5.2k

• firehol/blocklist-ipsets

  ipsets dynamically updated with firehol's update-ipsets.sh script

  Language:Shell3.1k382

• crazy-max/WindowsSpyBlocker

  Block spying and tracking on Windows

  Language:Go4.6k356

• netblue30/firejail

  Linux namespaces and seccomp-bpf sandbox

  Language:C5.7k556

• evilsocket/opensnitch

  OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.

  Language:Python10.7k493

• adam-mcdaniel/wisp

  A lisp👽 written in C++

  Language:C++19019

• typesense/typesense

  Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences

  Language:C++20.4k626

• google/cel-spec

  Common Expression Language -- specification and binary representation

  Language:Go2.8k222

• RoaringBitmap/CRoaring

  Roaring bitmaps in C (and C++), with SIMD (AVX2, AVX-512 and NEON) optimizations: used by Apache Doris, ClickHouse, and StarRocks

  Language:C1.5k264

• NVIDIA/libcudacxx

  [ARCHIVED] The C++ Standard Library for your entire system. See https://github.com/NVIDIA/cccl

  Language:C++2.3k187

• potassco/clasp

  ⚙️ A conflict-driven nogood learning answer set solver

  Language:C++11716

• yuce/pyswip

  PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

  Language:Python46497

• facebookincubator/CG-SQL

  CG/SQL is a compiler that converts a SQL Stored Procedure like language into C for SQLite. SQLite has no stored procedures of its own. CG/CQL can also generate other useful artifacts for testing and schema maintenance.

  Language:HTML39133

• vinta/fuck-coding-interviews

  How on earth can I ever think of a solution like that in an interview?!

  Language:Python68878

• eyereasoner/eye

  Euler Yet another proof Engine

  Language:HTML12417