kubo39/isabelle-training kubo39/isabelle-training

  • Stars
    star
    1
  • Language Isabelle
  • Created almost 7 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
kubo39/isabelle-training
github

kubo39

Reviews

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

Repository Details

My own Isabell/HOL training repository

More Repositories

1

tinycr

The challenge for creating a tiny binary in crystal.
Assembly
36
star
2

bossan

high performance asynchronous rack web server
C
28
star
3

syscall.cr

syscall interface for Crystal
Crystal
17
star
4

twitter

Low-level twitter API wrapper library for Nim
Nim
11
star
5

syscall-d

syscall interface for D.
D
9
star
6

sieve-cache-d

A SIEVE cache implementation for D
D
6
star
7

elfhook.d

monkey patching for shared object.
D
6
star
8

ruby-what-the-fuck

ใ‚ขใƒณใƒใƒ‘ใ‚ฟใƒผใƒณใ‚’้ฟใ‘ใ‚‹ใŸใ‚ใซ
5
star
9

rikka

anothor document database written in D
D
5
star
10

RustConcurrency

WIP: Research project
4
star
11

awesome-optimizations

A list of curious optimizations!
4
star
12

sharedlib

Deprecated: moved to https://github.com/kubo39/libloading
D
3
star
13

fastersort

D
3
star
14

d-and-perl

Joke
Perl
3
star
15

libloading

A dynamic library loading library.
D
3
star
16

tiny-d-demo

Using DMD/LDC to make a small x86_64 Linux binary.
Assembly
3
star
17

stm32f407discovery

STM32F407DISCOVERY dev board library for LDC.
D
3
star
18

ldc-os-in-1000-lines

D
3
star
19

ldc-riscv-hello

RISC-V hello world progmram written in D
Makefile
2
star
20

httpparser

HTTP 1.x parser for D
D
2
star
21

tinybin

experimental hobby project
D
2
star
22

dlang-web-development

WIP: My thought of D Web Development
2
star
23

stm32f3discovery

STM32F3DISCOVERY dev board library for LDC.
D
2
star
24

gbc

Github Boys Collection
2
star
25

geo

D
2
star
26

emtraceroute

traceroute on eventmachine
Ruby
2
star
27

unicorn-d

D bindings for the unicorn CPU emulator
D
1
star
28

ProjectEuler

project euler, for practice
Ruby
1
star
29

dfmt-bin

Shell
1
star
30

ldc-wasi-tutorial

LDC WASI tutorial
Makefile
1
star
31

notes

notes
1
star
32

aoc2021

Advent of Code 2021
D
1
star
33

twitterstream

A twitter streaming API wrapper library for nim.
Nim
1
star
34

tottori

OS-Level sandboxing.
D
1
star
35

ssh2-d

WIP: libssh2 bindings for D
D
1
star
36

fusion

D port of https://github.com/khaledh/fusion
D
1
star
37

conc_oreilly

ไธฆ่กŒใƒ—ใƒญใ‚ฐใƒฉใƒŸใƒณใ‚ฐๅ…ฅ้–€ (D่จ€่ชž)
D
1
star
38

webtail

tail -F and broadcast to the browser via websocket
D
1
star
39

jailing

Port jailing in D.
D
1
star
40

cpucount

How to count the CPU cores each languages on Linux
D
1
star
41

ics23

Building generic merkle proof format for IBC for D
D
1
star
42

brainfxxk.d

brainf*ck interpreter written in D
D
1
star
43

awesome-meshi

้ฃฏใจใ‹้…’ใจใ‹ใงใ™
1
star
44

vcr.d

valgrind client requests for D.
D
1
star
45

vgcr

Valgrind client requests for Crysal.
Crystal
1
star
46

mandelbrot

D
1
star
47

d-ideas

1
star
48

ruby-darts

A Ruby binding for Darts
C++
1
star
49

zephyr_ldc_hello

CMake
1
star
50

x86intrin

WIP: x86 intrinsics for LDC
D
1
star
51

elfhook-pl

Work in progress, nothing to see here now.
D
1
star
52

gdb-book

D่จ€่ชžใƒ—ใƒญใ‚ฐใƒฉใƒžใฎใŸใ‚ใฎGDBใ‚ฌใ‚คใƒ‰ใ€ใซใชใ‚‹ไบˆๅฎšใฎใ‚‚ใฎ
D
1
star
53

esp32-resource

1
star
54

tiny-wasm-runtime-in-d

https://zenn.dev/skanehira/books/writing-wasm-runtime-in-rust ใ‚’D่จ€่ชžใงใ‚„ใ‚‹
D
1
star