hediet/LambdaCalculus hediet/LambdaCalculus

  • Stars
    star
    1
  • Language
    TypeScript
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hediet/LambdaCalculus
github

hediet

Reviews

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

Repository Details

More Repositories

1

vscode-drawio

This unofficial extension integrates Draw.io (also known as diagrams.net) into VS Code.
TypeScript
9,062
star
2

vscode-debug-visualizer

An extension for VS Code that visualizes data during debugging.
TypeScript
7,859
star
3

vscode-realtime-debugging

An extension for VS Code that visualizes how a program is being executed in real time.
TypeScript
276
star
4

browser-ext-github-monaco

This extension brings the famous Monaco editor to Github
TypeScript
255
star
5

easy-attach

If the desired entry point to debugging is unclear (e.g. within webpack configurations) this tool will help you by not just waiting for a debugger to connect but also launching it from scratch. Don't use the excuse that attaching a debugger is cumbersome next time you use console.log for debugging!
TypeScript
109
star
6

node-reload

An advanced hot reload solution for Node apps. Works very well for developing VSCode extensions and automating websites with puppeteer.
TypeScript
100
star
7

visualization

A framework for visualizing data encoded as json.
TypeScript
96
star
8

slideo

This tool uses OpenCV to automatically synchronize slides with videos that show these slides.
Rust
94
star
9

ts-typed-sql

A fully typed sql builder. Not maintained anymore, use it for your inspiration.
JavaScript
54
star
10

rxjs-playground

A typescript playground for rx js.
TypeScript
49
star
11

vscode-hediet-power-tools

This extension provides various helper commands.
TypeScript
34
star
12

visual-keyboard

A virtual keyboard displaying key bindings of VS Code as you type.
TypeScript
30
star
13

ts-cli

A CLI Library for NodeJS/TypeScript
TypeScript
26
star
14

pdf.js-viewer

This package makes the PDF.js viewer available to third party applications.
JavaScript
19
star
15

hediet-ts-refactoring-lsp

A language server plugin for my own refactorings. Feel free to use them too!
TypeScript
13
star
16

vscode-delorean-js-debug

TypeScript
11
star
17

vscode-rpc

Provides an RPC interface to automate VSCode from other processes
TypeScript
11
star
18

rust-ffmpeg-frame-grabber

Provides a frame iterator for videos by using ffmpeg. Decodes images using the image crate.
Rust
10
star
19

vscode-tasks-statusbar

This extension adds buttons to the status bar to quickly start and kill tasks.
TypeScript
10
star
20

vscode-unicode-data

TypeScript
9
star
21

typed-json-rpc

A modern implementation of JSON RPC in TypeScript for NodeJs and Browsers. Not stable yet.
TypeScript
7
star
22

typed-lexer

An easy to use lexer that features typescript typings.
TypeScript
7
star
23

blog

My blog where I write about TypeScript, my own projects and other cool programming related stuff.
TypeScript
5
star
24

geml

Yet another json alternative with markdown support. Aims to replace xml. Rich tooling is planned.
TypeScript
4
star
25

masters-thesis

TeX
4
star
26

vscode-multi-cursor-enhancer

VS Code Selection Utilities
TypeScript
4
star
27

live-debug

Provides services to send events to a debugger that supports live debug.
TypeScript
4
star
28

ts-webpack-react-template

A template for applications based on TypeScript, Webpack and React.
TypeScript
4
star
29

ts-semver

A TypeScript implementation of the Semantic Version 2.0.0 specification.
TypeScript
3
star
30

starship-twitter-bot

Get notified right before a starship is about to launch.
TypeScript
3
star
31

ts-std

Personal util functions that enhance the js std library. I don't give much value on backwards compatibility, but will consider semantic versioning. If you like this library, you should fork it and make it your own!
TypeScript
2
star
32

csharp-UnitsOfMeasure

A Units of Measure library for .Net
C#
2
star
33

vscode-debug-visualizer-personal-scripts

debug-visualizer-custom-scripts
JavaScript
2
star
34

HowNodeJsModulesShouldHaveBeenDesigned

Demonstrates how the Node JS Module Loader could work if it had been designed properly.
JavaScript
2
star
35

git-line-endings

Tests all combination of git line ending settings.
TypeScript
2
star
36

diff-merge-dataset

TypeScript
2
star
37

Neo2Net

Neo2 Keyboard Layout implemented in C#
C#
2
star
38

klingeling

JavaScript
2
star
39

semantic-json

TypeScript
2
star
40

rust-visualizer

Rust Visualizer Library. Based on the Debug Visualizer Extension for VS Code.
SCSS
2
star
41

project-issues-auto-importer

Automatically adds issues from a given repository to a given project
TypeScript
2
star
42

PredicateLogicProofValidator

A validator for predicate logic proofs that can be extended with custom axioms and rules.
TypeScript
2
star
43

sinfonie-und-kammerorchester.kit.edu

Some static files.
HTML
1
star
44

ext-vscode-syntax-tree-viewer

Visualizes Syntax Trees in VS Code
TypeScript
1
star
45

monaco-editor-react

This library exposes the monaco editor as a react component.
TypeScript
1
star
46

GrammarTools

C#
1
star
47

lean-linear-integer-equation-solver

Lean
1
star
48

CodeItDebugger

JavaScript
1
star
49

rider-plugin-debug-visualizer-dotnet-sdk

C#
1
star
50

php-type-reflection

A library which provide classes to reflect php types in an unified way.
PHP
1
star
51

php-contracts

An assertion library for PHP to validate arguments and invariants.
PHP
1
star
52

propa2017

Haskell
1
star
53

vscode-3wm-test-repo

Test Repo For The VS Code 3 Way Merge Editor Feature
TypeScript
1
star
54

vscode-custom-web-editor

TypeScript
1
star
55

npm-template

TypeScript
1
star
56

ts-react-svg-demo

An application that demonstrates how react and svg can be used together.
TypeScript
1
star
57

ext-vs-ProjectAsCustomTool

Provides a custom tool that enables to use projects in the active solution for code generation.
C#
1
star
58

git-demo

Git Demo
TypeScript
1
star