DestyNova

DestyNova's Stars

• interregna/JArrow

  J add-on for Apache Arrow, Parquet, CSV, & JSON

  Language:J112

• czietz/Nim

  Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  Language:Nim31

• microsoft/mimalloc

  mimalloc is a compact general purpose allocator with excellent performance.

  Language:C10.6k859

• cozodb/cozo

  A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

  Language:Rust3.4k108

• gren-lang/compiler

  Compiler for the Gren programming language

  Language:Haskell37923

• freqtrade/freqtrade

  Free, open source crypto trading bot

  Language:Python28.7k6.2k

• edgelesssys/constellation

  Constellation is the first Confidential Kubernetes. Constellation shields entire Kubernetes clusters from the (cloud) infrastructure using confidential computing.

  Language:Go94952

• lynn/pysearch

  Brute-force search for short Python expressions (for code golf)

  Language:Rust468

• dzaima/CBQN

  a BQN implementation in C

  Language:C32645

• jacmoe/orthic-teach-part-1

  The Teaching of Orthic Shorthand, Part I

  9

• arnowelzel/thing

  The alternative desktop for Atari ST/TT/Falcon (and compatible machines)

  Language:C212

• emmanuel-marty/lzsa

  Byte-aligned, efficient lossless packer that is optimized for fast decompression on 8-bit micros

  Language:C23630

• quasarj/DecaTxt-learn

  A simple tool to help learn how to type with the DecaTxt 2.2

  Language:HTML1

• ggzor/advent-of-code-2021

  My solutions for the Advent of Code 2021 in Scala, Python, Haskell and Rust.

  Language:Rust22

• jdlambert/advent-of-code-2021

  Language:Rust1

• terser/terser

  🗜 JavaScript parser, mangler and compressor toolkit for ES6+

  Language:JavaScript8.7k387

• smnjameson/S65

  Shallan65 kick assembler macro toolkit for MEGA65

  Language:Assembly204

• jfecher/ante

  A safe, easy systems language

  Language:Rust1.9k79

• ValeLang/Vale

  Compiler for the Vale programming language - http://vale.dev/

  Language:Scala1.8k54

• magicmouse/beads-examples

  Examples of Beads programs

  Language:HTML1006

• status-im/nim-chronos

  Chronos - An efficient library for asynchronous programming

  Language:Nim36152

• A1kmm/proofsweeper

  Play Minesweeper by formally proving your moves in Idris

  Language:Haskell1663

• pitr/aoc

  Advent of Code

  Language:Ruby14

• 414owen/advent-of-code-2021

  Language:Haskell2

• iav0207/advent-of-code

  Helping Santa deliver all the Christmas gifts by solving coding puzzles at https://adventofcode.com/

  Language:Kotlin2

• rkeytacked/adventofcode-2021

  solutions to the Advent of Code 2021 puzzles

  Language:JavaScript21

• rivit98/advent-of-code

  My AoC solutions

  Language:Python5

• wu-yichen/advent-of-code

  Language:Scala1

• parry84/aoc2021

  Advent of Code 2021

  Language:Racket1

• ilyasm0919/AdventOfCode2021

  Language:Haskell3