Giters
Adam V (Adam-Vandervorst)

Adam-Vandervorst

Geek Repo

29

followers

15

following

162

stars

Github PK Tool:Github PK Tool

Adam V's starred repositories

MORK

MeTTa Optimal Reduction Kernel

Language:RustStargazers:3Issues:0Issues:0

glaze

Extremely fast, in memory, JSON and interface library for modern C++

Language:C++License:MITStargazers:938Issues:0Issues:0

wam-tutorial-reconstruction

A Rust implementation of the machines in "Warren's Abstract Machine: A Tutorial Reconstruction."

Language:RustStargazers:8Issues:0Issues:0

TCBNN

Language:CudaLicense:NOASSERTIONStargazers:31Issues:0Issues:0

delta

Simple and expressive JSON format for describing rich-text content and their changes

Language:TypeScriptLicense:BSD-3-ClauseStargazers:867Issues:0Issues:0

logical-induction

Code to support the guide to logical induction for software engineers (not yet published).

Language:Jupyter NotebookLicense:MITStargazers:9Issues:0Issues:0

lamdu

lamdu - towards the next generation IDE

Language:HaskellLicense:GPL-3.0Stargazers:1845Issues:0Issues:0

easel

Sequence analysis library used by Eddy/Rivas lab code

Language:CLicense:NOASSERTIONStargazers:46Issues:0Issues:0

relic

Code

Language:CLicense:NOASSERTIONStargazers:445Issues:0Issues:0

Text-Steganography-Benchmark

Code for Preventing Language Models From Hiding Their Reasoning, which evaluates defenses against LLM steganography.

Language:PythonStargazers:12Issues:0Issues:0

sse-popcount

SIMD (SSE) population count --- http://0x80.pl/articles/sse-popcount.html

Language:C++License:BSD-2-ClauseStargazers:313Issues:0Issues:0

toys

Storage for my snippets, toy programs, etc.

Language:C++License:BSD-2-ClauseStargazers:312Issues:0Issues:0

avx_mathfun

AVX-optimized sin(), cos(), exp() and log() functions

Language:CStargazers:106Issues:0Issues:0

hamming_rs

Computes hamming distance, possibly with avx/avx2 instructions for x86 processors

Language:HTMLStargazers:1Issues:0Issues:0

simdpcg

Vectorized version of the PCG random number generator

Language:CLicense:Apache-2.0Stargazers:76Issues:0Issues:0

protocol-reengineering-implementation

Language:ErlangLicense:MITStargazers:8Issues:0Issues:0

DreamBerd

perfect programming language

License:NOASSERTIONStargazers:10213Issues:0Issues:0

LTL

Language:PythonStargazers:1Issues:0Issues:0

Stand-alone-junk

Language:CLicense:UnlicenseStargazers:32Issues:0Issues:0

Semagrams.jl

A graphical editor for graph-like structures

Language:ScalaLicense:MITStargazers:91Issues:0Issues:0

postfix-haskell

A low-level, postfix, functional programming language that compiles to WebAssembly

Language:TypeScriptLicense:GPL-3.0Stargazers:23Issues:0Issues:0

libretto

Declarative concurrency and stream processing library for Scala

Language:ScalaLicense:MPL-2.0Stargazers:192Issues:0Issues:0

kse3

Kerr Scala Extensions for Scala 3

Language:ScalaLicense:NOASSERTIONStargazers:10Issues:0Issues:0

parsley

A fast and modern parser combinator library for Scala

Language:ScalaLicense:BSD-3-ClauseStargazers:163Issues:0Issues:0

kyo

Toolkit for Scala Development

Language:ScalaLicense:Apache-2.0Stargazers:467Issues:0Issues:0

loom

Multiversal tree writing interface for human-AI collaboration

Language:PythonStargazers:970Issues:0Issues:0

ice

Interactive Composition Explorer: a debugger for compositional language model programs

Language:PythonLicense:MITStargazers:519Issues:0Issues:0

galai

Model API for GALACTICA

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:2657Issues:0Issues:0

ground_zero

Ground Zero: Lean 4 HoTT Library

Language:LeanLicense:Apache-2.0Stargazers:37Issues:0Issues:0

granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Language:HaskellLicense:BSD-3-ClauseStargazers:570Issues:0Issues:0