Lokad/Adsl Lokad/Adsl

  • Stars
    star
    1
  • Language
    F#
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Lokad/Adsl
github

Lokad

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Backing source code for 2021 relational language autodiff paper

More Repositories

1

ILPack

Serialize .NET Core assemblies
C#
305
star
2

Terab

Discontinued, replaced by CashDB
C#
29
star
3

AzureEventStore

Simple, low-maintenance event sourcing backed by Azure Blob Storage
C#
27
star
4

FasterMath

Intrinsics accelerated math functions for .NET Core - trading accuracy for performance
C#
16
star
5

CashDB

UTXO storage backend for Bitcoin Cash
C#
15
star
6

lokad-receiptstream

High performance receipt storage for retail networks
C#
13
star
7

Parsing

A performant, type-safe .NET library for building tokenizers and parsers.
C#
8
star
8

ScratchSpace

When RAM is not enough, spills data to disk. Once disk space runs out, deletes old data to make room for more.
C#
5
star
9

BitcoinNet

.NET library for Bitcoin Cash
C#
5
star
10

Logging

A .NET library for emitting normalized log messages.
C#
4
star
11

LargeImmutable

Immutable .NET collections that can be memory-mapped from a file.
C#
3
star
12

SshRun

A convenient library to run .NET code remotely over SSH.
C#
2
star
13

prompting

Simple kernels for LLMs, C#/.NET library
C#
2
star
14

Onnx

Lokad.Onnx, pure C# / .NET backend for ONNX
C#
2
star
15

Tokenizers

Port of `rust-tokenizers` to C#/.NET
C#
2
star
16

ContentAddr

.NET library for content-addressable storage
C#
1
star