Sandra Dylus (ichistmeinname)

ichistmeinname

Geek Repo

Company:@Cap3

Location:Germany, Kiel

Home Page:https://ichistmeinname.github.io/page/

Twitter:@ichistmeinname

Github PK Tool:Github PK Tool


Organizations
cau-placc

Sandra Dylus's starred repositories

awesome-selfhosted

A list of Free Software network services and web applications which can be hosted on your own servers

redoc

📘 OpenAPI/Swagger-generated API Reference Documentation

Language:TypeScriptLicense:MITStargazers:22996Issues:294Issues:1813

paperless-ngx

A community-supported supercharged version of paperless: scan, index and archive all your physical documents

Language:PythonLicense:GPL-3.0Stargazers:18274Issues:100Issues:1524

typescript-eslint

:sparkles: Monorepo for all the tooling which enables ESLint to support TypeScript

Language:TypeScriptLicense:NOASSERTIONStargazers:14973Issues:91Issues:4725

continue

⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains

Language:TypeScriptLicense:Apache-2.0Stargazers:13706Issues:69Issues:1180

faker

Generate massive amounts of fake data in the browser and node.js

Language:TypeScriptLicense:NOASSERTIONStargazers:12236Issues:36Issues:661

ts-pattern

🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.

Language:TypeScriptLicense:MITStargazers:11386Issues:30Issues:154

react.dev

The React documentation website

Language:TypeScriptLicense:CC-BY-4.0Stargazers:10903Issues:211Issues:1976

Gifski

🌈 Convert videos to high-quality GIFs on your Mac

Language:SwiftLicense:MITStargazers:7642Issues:60Issues:159

rescript-compiler

The compiler for ReScript.

Language:ReScriptLicense:NOASSERTIONStargazers:6613Issues:129Issues:2523

effect

An ecosystem of tools to build robust applications in TypeScript

Language:TypeScriptLicense:MITStargazers:6453Issues:27Issues:521

nearley

📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.

Language:JavaScriptLicense:MITStargazers:3578Issues:45Issues:454

hyperformula

HyperFormula is an open-source headless spreadsheet for business web apps. It comes with over 400 formulas, CRUD operations, undo-redo, clipboard support, and sorting.

Language:TypeScriptLicense:NOASSERTIONStargazers:1905Issues:27Issues:638

randexp.js

Create random strings that match a given regular expression.

Language:JavaScriptLicense:MITStargazers:1814Issues:32Issues:59

peritext

A CRDT for asynchronous rich-text collaboration, where authors can work independently and then merge their changes.

Language:TypeScriptLicense:MITStargazers:631Issues:19Issues:8

testpilot

Test generation using large language models

Language:TypeScriptLicense:MITStargazers:464Issues:13Issues:5

paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

Language:TypeScriptLicense:MITStargazers:325Issues:6Issues:30

pg-schema-diff

Go library for diffing Postgres schemas and generating SQL migrations

Language:GoLicense:MITStargazers:282Issues:7Issues:54

notesutils

Utilities for extracting notes from Notes.app. This repository is lightly maintained and mainly exists to serve as documentation and starting point for your own scripts.

Language:PythonLicense:UnlicenseStargazers:207Issues:6Issues:5

haskell-tree-sitter

Haskell bindings for tree-sitter

HasChor

Functional choreographic programming in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:65Issues:4Issues:4

deduce

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

Language:PythonStargazers:44Issues:1Issues:0

dosh

The power of Haskell in your terminal!

Language:HaskellLicense:GPL-3.0Stargazers:41Issues:6Issues:3

Jazzkell

Haskell framework for generative models of jazz

Language:HaskellLicense:NOASSERTIONStargazers:39Issues:2Issues:0

baby-monitor

🦉 A private, self-hosted, (Raspberry Pi) baby monitor.

Language:PythonLicense:MITStargazers:29Issues:3Issues:0

coqfmt

Coq code formatter

Language:OCamlLicense:AGPL-3.0Stargazers:20Issues:1Issues:21

ask

being a particular fragment of Haskell, extended to a proof system

eco-visio-api

API zum Eco-Visio-Dashboard von Eco-Counter

metacoq-nested-induction

A plugin for induction principles of nested inductive types using MetaCoq

error-message-index

A community-driven collection of documentation for Haskell error messages and warnings

Stargazers:1Issues:0Issues:0